Title: Computability and Unsolvability
First published: December 1, 1985
Subjects: Recursive functions, Computable functions, Unsolvability (Mathematical logic)