Undecidability of Some Topological Theories
Grzegorczyk, Andrzej
Fundamenta Mathematicae, Tome 38 (1951), p. 137-152 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1951-01-01
EUDML-ID : urn:eudml:doc:213237 
@article{bwmeta1.element.bwnjournal-article-fmv38i1p13,
     author = {Andrzej Grzegorczyk},
     title = {Undecidability of Some Topological Theories},
     journal = {Fundamenta Mathematicae},
     volume = {38},
     year = {1951},
     pages = {137-152},
     zbl = {0045.00301},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv38i1p13}
}

Grzegorczyk, Andrzej. Undecidability of Some Topological Theories. Fundamenta Mathematicae, Tome 38 (1951) pp. 137-152. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv38i1p13/