Some proofs of undecidability of arithmetic

Volume 43 / 1956

Andrzej Grzegorczyk Fundamenta Mathematicae 43 (1956), 166-177 DOI: 10.4064/fm-43-2-166-177

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