Two notes on formalized topology

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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