Some proofs of undecidability of arithmetic

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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