Title: Recursive function theory and logic
Subjects: Recursive functions, Symbolic and mathematical Logic