The Heyting doctrines
Petr Kůrka (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Petr Kůrka (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Eraldo Giuli (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Jan Reiterman (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity: