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:
Walter Jahn, Marko Riedel (1984)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Josef Mlček (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity: