@article{Boolos95,
  title = {Frege s theorem and the Peano postulates},
  author = {George Boolos},
  year = {1995},
  url = {http://www.math.ucla.edu/~asl/bsl/0103/0103-003.ps},
  researchr = {https://researchr.org/publication/Boolos95},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of Symbolic Logic},
  volume = {1},
  number = {3},
  pages = {317-326},
}