Boolos, George S.
Computability and Logic
- ISBN 13:
- 9780521701464
- author:
- Boolos, George S.
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2007
- Pages:
- 364
- Dimensions:
- 178mm X 254mm
- Genre:
- Philosophy / Logic
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Computability and Logic offers an accessible introduction to the subject for students without a mathematical background. This comprehensive textbook covers not only the standard topics of intermediate logic, such as Godel's incompleteness theorems, but also optional topics like Turing's theory of computability and Ramsey's theorem.
The book includes a selection of exercises at the end of each chapter, adjusted for this edition, which provides a new and simpler treatment of the representability of recursive functions. This makes it easier for students to progress towards the Godel incompleteness theorems.
With its clear and concise approach, Computability and Logic is an ideal resource for anyone looking to understand the fundamental principles of logic and computability.
Related Products
Related Products
The Cultural Logic of Computation
Golumbia, D
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Sannella, Donald
Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)
Gabbay, Dov M.
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
Doets, Kees
Cambridge IGCSE and O Level Computer Science Algorithms, Programming and Logic Workbook
Watson, David