Title: Computability and logic
First published: 1987
Subjects: Mathematics, Computable functions, Logic, symbolic and mathematical