Title: Theory of recursive functions and effective computability
First published: 1957
Subjects: Computable functions, Metamathematics, Recursive functions