Title: Computability and logic
Subjects: Recursive functions, Symbolic and mathematical Logic, Computable functions, Logic, symbolic and mathematical, Qa9.59 .b66 2007, 511.3/52