Classical recursion theory : the theory of functions and sets of natural numbers /

ανά Odifreddi, Piergiorgio, 1950-
Έκδοση 1989

General recursion theory : an axiomatic approach /

ανά Fenstad, Jens Erik
Έκδοση 1980

Recursion theory for metamathematics

ανά Smullyan, Raymond M.
Έκδοση 1993

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /

Έκδοση 1985

Solutions to selected problems to accompany switching and finite automata theory /

ανά Kohavi, Zvi
Έκδοση 1970

Theory of recursive functions and effective computability

ανά Hartley, Rogers
Έκδοση 1967