Undecidability of Some Topological Theories

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Andrzej Grzegorczyk Fundamenta Mathematicae 38 (1951), 137-152 DOI: 10.4064/fm-38-1-137-152