Some proofs of undecidability of arithmetic

• 1 January 1956
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 43  (2) , 166-177
• https://doi.org/10.4064/fm-43-2-166-177

Abstract