Two notes on formalized topology

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Yuri Gurevich Fundamenta Mathematicae 107 (1980), 145-148 DOI: 10.4064/fm-107-2-145-148