Revision as of 04:17, 20 February 2018 edit JRSpriggs (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 18,934 edits undo two edits by 157.92.27.254 : comments should be on the talk page, not in the article. ← Previous edit		Revision as of 11:26, 17 May 2018 edit undo Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits m →References: Journal cites, added 1 DOI Tag: AWB Next edit →
Line 90: ==References== * Hilbert Levitz, ''[http://www.cs.fsu.edu/~levitz/ords.ps Transfinite Ordinals and Their Notations: For The Uninitiated]'', expository article (8 pages, in [[PostScript]]) {{citation\|last=Pohlers\|first=Wolfram \|title=Proof theory\|mr=1026933 \|series= Lecture Notes in Mathematics\|volume= 1407\|publisher= Springer-Verlag\|place= Berlin\|year= 1989\|isbn= 3-540-51842-8 \|doi=10.1007/978-3-540-46825-7}} {{citation\|mr=0505313\|last= Schütte\|first= Kurt \|title=Proof theory\|series= Grundlehren der Mathematischen Wissenschaften\|volume= 225\|publisher= Springer-Verlag\|place= Berlin-New York\|year= 1977\|pages= xii+299 \| isbn= 3-540-07911-4}} *{{citation\|mr=0882549\|last= Takeuti\|first= Gaisi \|title=Proof theory\|edition= Second \|series= Studies in Logic and the Foundations of Mathematics\|volume= 81\|publisher= North-Holland Publishing Co.\|place= Amsterdam\|year=1987\| isbn= 0-444-87943-9}}

Veblen function: Difference between revisions