Kreisel, Georg A survey of proof theory. II. (English) Zbl 0227.02013 Proc. 2nd Scandinav. Logic Sympos. 1970, Studies Logic Foundations Math. 63, 109-170 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 14 Documents MSC: 03Fxx Proof theory and constructive mathematics Citations:Zbl 0177.01002; Zbl 0219.02001 PDFBibTeX XML