Pudlák, P.. "A note on bounded arithmetic." Fundamenta Mathematicae 136.2 (1990): 85-89. <http://eudml.org/doc/211819>.
@article{Pudlák1990, author = {Pudlák, P.}, journal = {Fundamenta Mathematicae}, keywords = {bounded arithmetic; bounded consistency; fragment}, language = {eng}, number = {2}, pages = {85-89}, title = {A note on bounded arithmetic}, url = {http://eudml.org/doc/211819}, volume = {136}, year = {1990}, }
TY - JOUR AU - Pudlák, P. TI - A note on bounded arithmetic JO - Fundamenta Mathematicae PY - 1990 VL - 136 IS - 2 SP - 85 EP - 89 LA - eng KW - bounded arithmetic; bounded consistency; fragment UR - http://eudml.org/doc/211819 ER -
