Undecidability of Some Topological Theories

Volume 38 / 1951

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

Authors

  • Andrzej Grzegorczyk

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image