The original authors of this work, the late George Boolos and my late colleague Richard Jeffrey, stated in the preface to the first edition that the work was intended for students of philosophy, mathematics, and other fields who desired a more advanced knowledge of logic than is supplied by an introductory course or textbook on the subject, and added the following:. The aim has been to present the principal fundamental theoretical results about logic, and to cover certain other meta-logical results whose proofs are not easily obtainable elsewhere. We have tried to make the exposition as readable as was compatible with the presentation of complete proofs, to use the most elegant proofs we knew of, to employ standard notation, and to reduce hair as it is technically known. On the one hand, filling roughly the first third of the book, there is an extended exposition by R.
|Published (Last):||28 March 2016|
|PDF File Size:||20.13 Mb|
|ePub File Size:||3.83 Mb|
|Price:||Free* [*Free Regsitration Required]|
View Larger Image. Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in Dimension: x x Weight in Grams: Weight: Bookseller Inventory V Synopsis: Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply 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.
Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Condition: GOOD. Has little wear to the cover and pages. Contains some markings such as highlighting and writing.
Supplemental materials are not guaranteed with any used book purchases. More information about this seller Contact this seller. Add to Basket. Book Description Cambridge University Press, Condition: Good. Satisfaction Guaranteed! Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Seller Inventory Book Description Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings.
Twenty-five year bookseller with shipments to over fifty million happy customers. Book Description Cambridge University Press. Condition: Very Good. Small stain on FFEP. Trade paperback binding. Earthlight Books is a family owned and operated, independent bookstore serving Walla Walla, Washington since Seller Inventory SKU Paperback or Softback.
Condition: New. Computability and Logic. Seller Inventory BBS Ships same day or next business day! Used books may not include working access code. Used books will not include dust jackets. Seller Inventory U. Book Description Cambridge University Press , Seller Inventory ING Home Boolos, George S. Computability and Logic Boolos, George S. Published by Cambridge University Press, Available From More Booksellers.
About the Book. We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below. Stock Image. Published by Brand: Cambridge University Press Used Paperback Quantity Available: 1. Seller Rating:. Published by Cambridge University Press Used Softcover Quantity Available: 1.
Burgess , John P. Burgess ; Richard C. Jeffrey, Richard C. Jeffrey; Boolos, George S. Used Quantity Available: 4. Seller Image. Published by Cambridge University Press. Computability and Logic George S. Boolos; John P. Burgess; Richard C. New Paperback or Softback Quantity Available: Used Paperback Quantity Available: New Paperback Quantity Available: Chiron Media Wallingford, United Kingdom. There are 19 more copies of this book View all search results for this book.
Computability and Logic
Computability and Logic. George S. Boolos , John P. Burgess , Richard C. This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well.
Sign in Create an account. Syntax Advanced Search. About us. Editorial team. George S. Boolos , John P. Bulletin of Symbolic Logic 9 4
View Larger Image. Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in Dimension: x x Weight in Grams: Weight: