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.
"synopsis" may belong to another edition of 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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Computability and Logic 2ed
Stock Image
Computability and Logic
Published by
Cambridge University Press, 1980
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Softcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 616426-6
Stock Image
Computability and Logic 2ed
Published by
Cambridge University Press, 1981
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0521299675I3N00
Stock Image
Computability and Logic
Published by
Cambridge University Press, 1980
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 616426-6
Buy Used
£ 7.13
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Computability and Logic 2ed
Published by
Cambridge University Press, 1981
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0521299675.VG
Stock Image
Computability and Logic
Published by
Cambridge University Press, Cambridge, 1980
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Softcover
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
Seller rating 4 out of 5 stars
Softcover. Condition: Very Good+. Dust Jacket Condition: No Dust Jacket. 2nd; First Impression. Slight shelf wear. ; Slight shelf wear. 2D black and white illsurations. This book provides a comprehensive introduction to the fundamental concepts of mathematical logic and computability theory. The book covers topics such as computability, undecidability, axiomatization, definability, and Gödel's incompleteness theorems. It is praised for its clarity and modern, elegant proofs, making complex topics accessible to students and valuable for those interested in artificial intelligence, philosophy, and theoretical computing. ; 15.1 x 22.3 x 1.7 cm; x, 285 pages. Seller Inventory # LCB61887
Stock Image
Computability And Logic
Published by
Cambridge University Press, 1981
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
paperback
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Sehr gut. 304 Seiten; *** Seconde edition. 1982! M25-06-J-38-VG Sprache: Deutsch Gewicht in Gramm: 500. Seller Inventory # 34629
Seller Image
Computability And Logic
Published by
Cambridge University Press, 1981
ISBN 10: 0521299675
ISBN 13: 9780521299671
Used
Softcover
Seller: crealivres, La fontennelle, France
Seller rating 5 out of 5 stars
Condition: Good. Envoi rapide Bon état ex-libris intérieur propre. 14 986x2 286x22 606cm. 1981. Broché. 304 pages. Good. Seller Inventory # 100147104