Revision as of 01:20, 21 December 2015 edit Omnipaedista (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 267,118 edits per MOS:BOLDSYN ← Previous edit		Revision as of 07:22, 7 May 2016 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,599 edits m Steve Simpson (mathematician) Next edit →
Line 45: {{Citation \| last1=Avigad \| first1=Jeremy \| title=Number theory and elementary arithmetic \| doi=10.1093/philmat/11.3.257 \| mr=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. \|authorlink=Steve Simpson (mathematician)\| 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 \| mr=1723993 \| year=2009}} [[Category:Proof theory]]

Elementary function arithmetic: Difference between revisions