Bishop, E. A. Foundations of constructive analysis. (English) Zbl 0183.01503 Maidenhead, Berksh.: McGraw-Hill Publishing Company, Ltd. 400 p. (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 ReviewsCited in 261 Documents Keywords:recursion theory, constructive mathematics PDF BibTeX XML