%0 Journal Article %A G. Kreisel %A Hao Wang %T Some applications of formalized consistency proofs %J Fundamenta Mathematicae %D 1955 %P 101-110 %V 42 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-42-1-101-110/ %R 10.4064/fm-42-1-101-110 %G en %F 10_4064_fm_42_1_101_110