Schütte, Kurt Die Entwicklung der Beweistheorie. (German) Zbl 0389.03001 Jahresber. Dtsch. Math.-Ver. 81, 3-12 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03-03 History of mathematical logic and foundations 03F15 Recursive ordinals and ordinal notations 01A60 History of mathematics in the 20th century × Cite Format Result Cite Review PDF