Computability and Logic - Hardcover

Boolos, George S.; Jeffrey, Richard C.

Hardcover

ISBN 10: 052138026X ISBN 13: 9780521380263

Publisher: Cambridge University Press, 1989

Synopsis

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.

About this title

Review

‘Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.’ American Math Monthly

‘... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.’ Mathematical Reviews

Book Description

Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.

Edition details

• Publisher: Cambridge University Press
• Publication date: 1989
• Language: English
• ISBN 10: 052138026X
• ISBN 13: 9780521380263
• Binding: Hardcover
• Edition number: 3
• Number of pages: 314