Computability and Logic

Discover the profound insights of Computability and Logic by George Boolos and George S. Boolos, a seminal work published by Cambridge University Press in 2007. This fifth revised edition spans 366 pages and is designed to be accessible to students, even those without a strong mathematical background.

Delve into a comprehensive exploration of key topics in mathematical logic, including computable functions and recursive functions, while also engaging with optional subjects such as Turing's theory of computability and Ramsey's theorem. This book not only serves as an essential resource for intermediate logic courses but also enriches the reader's understanding of the philosophical implications of logic and computation. Ideal for students and enthusiasts alike, Computability and Logic remains a must-have addition to your mathematics and philosophy collection.