%0 Journal Article %A P. Pudlák %T A note on bounded arithmetic %J Fundamenta Mathematicae %D 1990 %P 85-89 %V 136 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-136-2-85-89/ %R 10.4064/fm-136-2-85-89 %G en %F 10_4064_fm_136_2_85_89