The Heyting doctrines
Petr Kůrka (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Petr Kůrka (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Věra Trnková (1966)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Harald Lindner (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Dominique Bourn (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: