Search results
Appearance
- University Press, Cambridge-New York, 1980. ISBN 0-521-22384-9; ISBN 0-521-29465-7 Rogers, H. The Theory of Recursive Functions and Effective Computability...4 KB (586 words) - 10:05, 23 August 2022
- to recursive function theory, Cambridge University Press, 1980. ISBN 0-521-29465-7 The foundations of program verification, 2nd edition, Jacques Loeckx...11 KB (1,278 words) - 00:51, 3 February 2024
- York: Cambridge University Press. p. 251. ISBN 0-521-22384-9.; ISBN 0-521-29465-7 Ambos-Spies, Klaus; Fejer, Peter (20 March 2006). "Degrees of Unsolvability"...24 KB (3,130 words) - 18:32, 8 November 2023
- introduction to recursive function theory. Cambridge University Press. ISBN 0-521-29465-7. Soare, Robert Irving (1987). Recursively Enumerable Sets and Degrees...54 KB (6,419 words) - 10:46, 16 July 2024