A constructive proof of the Tychonoff's theorem for locales
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: