Title: Computability and logic
First published: 1974
Subjects: Computable functions, Logic, Symbolic and mathematical, Recursive functions, Symbolic and mathematical Logic, Mathematical foundations, Philosophy, General, Philosophy / Logic, Mathematical logic, Mathematics, Science/Mathematics, Logic