A constructive proof of the Tychonoff's theorem for locales
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Ivo Marek (1967)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Bogdan Rzepecki (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity: