Richard L. Epstein and Walter A. Carnielli
"This book contains a great many background discussions which introduce the reader to the folklore and philosophical aspects of recursion theory and logic, material which is important for the beginner in the field and which is often omitted from competing volumes on the subject. Particularly well done is the discussion of “Church’s Thesis”, including Kalmár’s criticism. A good amount of proof theory is included in Part III, which culminates in a self-contained exposition of Gödel’s incompleteness results." – George Tourlakis, Mathematical Reviews
"The book is perfectly suited for class work and for individual study, and it successfully achieves the goal of painlessly introducing a technical matter in a readable and stimulating way." – Piergiorgio Odifreddi
"The book contains a good many exercises, and also a lot of questions inviting the reader to philosophical argument. It is a pleasure to read it. . . . I expect many readers to enjoy the copious references to the historical and philosophical incentives to the problems of mathematical logic." – W. Veldman, Zentralblatt für Mathematik und ihre Grenzgebiete
Take a look inside Computability: Computable Functions, Logic, and the Foundations of Mathematics (3rd ed.):
Available now a new edition of the acclaimed 18´´ x 28´´ wall poster Computability and Undecidability-A Timeline.