Title: Theory of recursive functions and effective computability
Subjects: Computable functions, Recursive functions, Symbolic and mathematical Logic