Title: Theory of recursive functions and effective computability
Subjects: Recursive functions