Friedman, Harvey Some applications of Kleene’s methods for intuitionistic systems. (English) Zbl 0272.02038 Cambridge Summer School math. Logic, Cambridge 1971, Lect. Notes Math. 337, 113-170 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 16 Documents MSC: 03B55 Intermediate logics 03F55 Intuitionistic mathematics 03F99 Proof theory and constructive mathematics PDFBibTeX XML