Revision as of 21:12, 14 July 2010 edit R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits date ← Previous edit		Revision as of 21:20, 14 July 2010 edit undo R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits →References: ref Next edit →
Line 5: ==References== {{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}} [[Category:proof theory]]

Elementary function arithmetic: Difference between revisions