Revision as of 23:29, 21 October 2010 edit Michael Hardy (talk \| contribs) Administrators 210,577 edits mNo edit summary ← Previous edit		Revision as of 13:12, 22 October 2010 edit undo R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits →References: ref Next edit →
Line 24: {{Citation \| last1=Avigad \| first1=Jeremy \| title=Number theory and elementary arithmetic \| doi=10.1093/philmat/11.3.257 \| id={{MathSciNet \| id = 2006194}} \| year=2003 \| journal=Philosophia Mathematica. Philosophy of Mathematics, its Learning, and its Application. Series III \| issn=0031-8019 \| volume=11 \| issue=3 \| pages=257–284}} {{citation\|first=Harvey\|last=Friedman\|title=grand conjectures\|year=1999\|url=http://cs.nyu.edu/pipermail/fom/1999-April/003014.html}} *{{Citation \| last1=Simpson \| first1=Stephen G. \| title=Subsystems of second order arithmetic \| url=http://www.math.psu.edu/simpson/sosoa/ \| publisher=[[Cambridge University Press]] \| edition=2nd \| series=Perspectives in Logic \| isbn=978-0-521-88439-6 \| id={{MathSciNet \| id = 1723993}} \| year=2009}}

Elementary function arithmetic: Difference between revisions