Godel's Second Incompleteness Theorem for Q

@article{citeulike:214423, author = {Bezboruah, A. and Shepherdson, J. C. }, citeulike-article-id = {214423}, journal = {The Journal of Symbolic Logic}, keywords = {arithmetic, godel, kreisel, logic}, number = {2}, pages = {503--512}, posted-at = {2005-05-30 18:08:33}, priority = {0}, title = {Godel's Second Incompleteness Theorem for Q}, url = {http://www.jstor.org/stable/2272251}, volume = {41}, year = {1976} }

TY - JOUR ID - citeulike:214423 L3 - citeulike-article-id:214423 TI - Godel's Second Incompleteness Theorem for Q JF - The Journal of Symbolic Logic VL - 41 IS - 2 SP - 503 EP - 512 KW - arithmetic KW - godel KW - kreisel KW - logic AU - Bezboruah, A AU - Shepherdson, JC PY - 1976/// UR - http://www.jstor.org/stable/2272251 ER -