Ship-Ship-Hooray! Free Shipping on $25+ Details >
Computability and Logic

Computability and Logic - 4th edition

Computability and Logic - 4th edition

ISBN13: 9780511074950

ISBN10: 0511074956

Computability and Logic by George S. Boolos, John P. Burgess and Richard Jeffrey - ISBN 9780511074950
Edition: 4TH 02
Copyright: 2002
Publisher: Cambridge University Press
Published: 2002
International: No
Computability and Logic by George S. Boolos, John P. Burgess and Richard Jeffrey - ISBN 9780511074950

ISBN13: 9780511074950

ISBN10: 0511074956

Well, that's no good. Unfortunately, this edition is currently out of stock. Please check back soon.

Summary

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.