@article{1183738629, author = {Shepard, Philip T.}, title = {A Finite Arithmetic}, journal = {J. Symbolic Logic}, volume = {38}, number = {1}, year = {1973}, pages = { 232-248}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738629} }
Shepard, Philip T. A Finite Arithmetic. J. Symbolic Logic, Tome 38 (1973) no. 1, pp. 232-248. http://gdmltest.u-ga.fr/item/1183738629/