Notes on Kuratowski-Mrówka theorems in point-free context
A. Pultr, A. Tozzi (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A. Pultr, A. Tozzi (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Alan S. Dow, Stephen W. Watson (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Bernhard Banaschewski (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Shu Hao Sun (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity: