@article{1183734307, author = {Martin, Roger}, title = {Review: Hao Wang, The Axiomatization of Arithmetic}, journal = {J. Symbolic Logic}, volume = {27}, number = {1}, year = {1962}, pages = { 77-78}, language = {en}, url = {http://dml.mathdoc.fr/item/1183734307} }
Martin, Roger. Review: Hao Wang, The Axiomatization of Arithmetic. J. Symbolic Logic, Tome 27 (1962) no. 1, pp. 77-78. http://gdmltest.u-ga.fr/item/1183734307/