%0 Journal Article
%A Andrzej Grzegorczyk
%T Some proofs of undecidability of arithmetic
%J Fundamenta Mathematicae
%D 1956
%P 166-177
%V 43
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-43-2-166-177/
%R 10.4064/fm-43-2-166-177
%G en
%F 10_4064_fm_43_2_166_177