Title: Classical recursion theory
First published: 1989
Subjects: Recursive functions, Recursion theory
LC classification: QA9.615