A subdirectly irreducible double Heyting
β
Peter KΓΆhler
π
Article
π
1980
π
Springer
π
English
β 249 KB