Revision as of 13:24, 19 February 2019 edit Citation bot (talk \| contribs) Bots 5,872,389 edits m Alter: isbn. \| You can use this bot yourself. Report bugs here. \| User-activated. ← Previous edit		Revision as of 02:40, 19 December 2019 edit undo InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,698,963 edits Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 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~~ Wolfram\|title= Proof theory\|mr=~~1026933~~ 1026933\|series= Lecture Notes in Mathematics\|volume= 1407\|publisher= Springer-Verlag\|place= Berlin\|year= 1989\|isbn= 978-3-540-51842-6\|doi= 10.1007/978-3-540-46825-7\|url-access= registration\|url= https://archive.org/details/prooftheoryintro0000pohl}} {{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= 978-3-540-07911-8}} *{{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= 978-0-444-87943-1}}

Veblen function: Difference between revisions