Parsons, C. On a number theoretic choice schema and its relation to induction. (English) Zbl 0202.01202 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo, N.Y. 1968, 459-473 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 30 Documents PDFBibTeX XML