Handbook of Recursive Mathematics

3 The Rice-like conjecture for primitive recursive problems. 9. 4 Deciding if A. Heyting), Studies in Logic and the Foundations of Mathematics. North. Holland. -recursion theory, Israel Journal of Mathematics, 4, 1973, pp. in: Handbook of Mathematical Logic, edited by J. Barwise, NorthHolland, Amsterdam, 1977, pp. Project Euclid mathematics and statistics online. We use the rudimentarily recursive (set-theoretic) functions and the slightly larger collection of gentle.