Title: Computability theory
Subjects: Mathematical logic and foundations -- Computability and recursion theory -- Computability and recursion theory, Recursion theory, Computable functions, Logic, symbolic and mathematical