Rogers, H. jun. Theory of recursive functions and effective computability. (English) Zbl 0183.01401 Maidenhead, Berksh.: McGraw-Hill Publishing Company, Ltd. 512 p. (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 1559 Documents Keywords:recursion theory, constructive mathematics × Cite Format Result Cite Review PDF