%0 Journal Article
%A R. Jeroslow
%T Consistency statements in formal theories
%J Fundamenta Mathematicae
%D 1971
%P 17-40
%V 72
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-72-1-17-40/
%R 10.4064/fm-72-1-17-40
%G en
%F 10_4064_fm_72_1_17_40