Title: Computability and logic
Subjects: Computable functions, Symbolic and mathematical Logic, Logic, Mathematical Computing