@article{1181154852,
author = {Boolos, George},
title = {Frege's Theorem and the Peano Postulates},
journal = {Bull. Symbolic Logic},
volume = {1},
number = {1},
year = {1995},
pages = { 317-326},
language = {en},
url = {http://dml.mathdoc.fr/item/1181154852}
}
Boolos, George. Frege's Theorem and the Peano Postulates. Bull. Symbolic Logic, Tome 1 (1995) no. 1, pp. 317-326. http://gdmltest.u-ga.fr/item/1181154852/