%0 Journal Article
%A George Boolos
%T Provability in arithmetic and a schema of Grzegorczyk
%J Fundamenta Mathematicae
%D 1980
%P 41-45
%V 106
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-106-1-41-45/
%R 10.4064/fm-106-1-41-45
%G en
%F 10_4064_fm_106_1_41_45