Kreisel, Georg; Troelstra, A. S. Formal systems for some branches of intuitionistic analysis. (English) Zbl 0211.01101 Ann. Math. Logic 1, 229-387 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 40 Documents MSC: 03F55 Intuitionistic mathematics PDF BibTeX XML Cite \textit{G. Kreisel} and \textit{A. S. Troelstra}, Ann. Math. Logic 1, 229--387 (1970; Zbl 0211.01101) Full Text: DOI