Search results

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...

to recursive function theory, Cambridge University Press, 1980. ISBN 0-521-29465-7 The foundations of program verification, 2nd edition, Jacques Loeckx...

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"...

introduction to recursive function theory. Cambridge University Press. ISBN 0-521-29465-7. Soare, Robert Irving (1987). Recursively Enumerable Sets and Degrees...