On the scheme of induction for bounded arithmetic formulas

@article{citeulike:214705, author = {Wilkie, A. and Paris, J. }, citeulike-article-id = {214705}, doi = {10.1016/0168-0072(87)90066-2}, journal = {Annals of Pure and Applied Logic}, keywords = {arithmetic, godel}, pages = {261--302}, posted-at = {2005-05-31 00:25:45}, priority = {2}, title = {On the scheme of induction for bounded arithmetic formulas}, url = {http://dx.doi.org/10.1016/0168-0072(87)90066-2}, volume = {35}, year = {1987} }

TY - JOUR ID - citeulike:214705 L3 - citeulike-article-id:214705 TI - On the scheme of induction for bounded arithmetic formulas JF - Annals of Pure and Applied Logic VL - 35 SP - 261 EP - 302 KW - arithmetic KW - godel AU - Wilkie, A AU - Paris, J PY - 1987/// UR - http://dx.doi.org/10.1016/0168-0072(87)90066-2 ER -