Feferman, Solomon Lectures on proof theory. (English) Zbl 0248.02033 Proc. Summer School Logic, Leeds 1967, Lect. Notes Math. 70, 1-107 (1968). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 13 Documents MSC: 03F99 Proof theory and constructive mathematics 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations PDFBibTeX XML