Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.
Download to your computer
Kindle Cloud Reader

The Logic of Provability

by
George S. Boolos (Author)
› Visit Amazon's George S. Boolos Page
Find all the books, read about the author, and more.
See search results for this author
Are you an author? Learn about Author Central
George S. Boolos (Author)
5.0 out of 5 stars 3 customer reviews
ISBN-13: 978-0521483254
ISBN-10: 0521483255
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon

Sorry, there was a problem.

There was an error retrieving your Wish Lists. Please try again.

Sorry, there was a problem.

List unavailable.
Facebook Twitter Pinterest
Buy used On clicking this link, a new layer will be open
$25.00 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$62.75 On clicking this link, a new layer will be open
More Buying Choices
20 New from $58.75 22 Used from $25.00
42 used & new from $25.00
See All Buying Options
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Learn more about the top issues of this year's presidential race with these books sponsored by Wiley.
Election Year.
Learn more about the top issues of this year's presidential race with these books sponsored by Wiley.Learn more.
$62.75 FREE Shipping. In Stock. Ships from and sold by Amazon.com. Gift-wrap available.
click to open popover

Frequently Bought Together

  • The Logic of Provability
  • +
  • Computability and Logic
  • +
  • Naive Set Theory
Total price: $108.64
One of these items ships sooner than the other. Show details
Buy the selected items together

Customers Who Bought This Item Also Bought

Page 1 of 1 Start overPage 1 of 1
This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.
Back
  1. Computability and Logic
    George S. Boolos
    4.3 out of 5 stars 7
    Paperback
    $33.94 Prime
  2. Naive Set Theory
    Paul R. Halmos
    4.2 out of 5 stars 31
    Paperback
    $11.95 Prime
  3. Probability Theory: The Logic of Science
    E. T. Jaynes
    4.8 out of 5 stars 37
    Hardcover
    $98.25 Prime
  4. The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
    Raymond M. Smullyan
    4.3 out of 5 stars 19
    Paperback
    $14.95 Prime
  5. Basic Category Theory for Computer Scientists (Foundations of Computing)
    Benjamin C. Pierce
    3.8 out of 5 stars 14
    Paperback
    $35.00 Prime
  6. Category Theory for the Sciences (MIT Press)
    David I. Spivak
    4.4 out of 5 stars 14
    Hardcover
    $52.25 Prime
Next
NO_CONTENT_IN_FEATURE
New York Times best sellers
Browse the New York Times best sellers in popular categories like Fiction, Nonfiction, Picture Books and more. See more

Product Details

  • Paperback: 316 pages
  • Publisher: Cambridge University Press (April 28, 1995)
  • Language: English
  • ISBN-10: 0521483255
  • ISBN-13: 978-0521483254
  • Product Dimensions: 6 x 0.7 x 9 inches
  • Shipping Weight: 1.2 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (3 customer reviews)
  • Amazon Best Sellers Rank: #2,075,684 in Books (See Top 100 in Books)

    •  Would you like to update product info or give feedback on images?

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See all verified purchase reviews
Share your thoughts with other customers
Write a customer review

Top Customer Reviews

5.0 out of 5 starsOutstanding, but Difficult
By galloamericanus on August 2, 2004
Format: Paperback
George Boolos regrettably died too early, at age 56. He was a witty engaging writer, and a brilliant logician. This book,

completed not long before his untimely death, is probably

the high point of his career. The key insight, that modal logic

can be interpreted as a sort of metamathematical algebra,

is Godel's from the 1930s. And a key result is due to Martin

Lob about 50 years ago. But Boolos built a towering edifice

on this slim material. I think that the provability interpretation

of the modal operator is the most philosophically and mathematically satisfying of all, and I hope someone comes

along to pick up the baton that has fallen from Boolos's hand.
Comment 11 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
5.0 out of 5 starsGood reference.
By A Customer on September 10, 2003
Format: Paperback Verified Purchase
This book is an excelent reference for Logics of Provability.
I consider this book a "must have" for anyone in the field, or in the field of Modal Logics.
The author is a leader in the field, and this book is frequently cited in the bibliography of papers in the field.
Comment 2 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
5.0 out of 5 starsLucid introduction and valuable reference
By V. on September 25, 2004
Format: Paperback
As the other reviewers note, this book is remarkable in that it both offers a reasonably gentle introduction to the subject even for those without too much mathematical background (logically-inclined philosophy students come to mind), and at the same time remains to this day an indispensable reference for the specialistâ€"this for example is the only source where you can find the proofs of Solovay's "other" modal completeness results for transitive models of set theory. George Boolos was (is) famous for, among other things, his gift of didactically brilliant exposition.

There is only one other book on the subjectâ€"C.Smory'nski's "Self-Reference and Modal Logic", now out-of-print, which provides a nice complement to Boolos with surprisingly small overlap. For an introduction, I would not hesitate to recommend Boolos over Smory'nski.

Since 1993 the "baton" has not completely "fallen out of Boolos' hands"â€"the interested reader can follow up on this via e.g. a couple of handbook-chapter expositions, easily found by googling around, that point to current research literature. However, no further textbook-level exposition appears to be forthcoming anytime soon.

As a comment to galloamericanus' review, I would note that Boolos does not restrict his monograph exclusively or even primarily to his own results. The reader gets a fair overview of the research field by 1993 as shaped by many contributors.
Comment 8 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

The Logic of Provability
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: The Logic of Provability
Set up a giveaway

What Other Items Do Customers Buy After Viewing This Item?

There's a problem loading this menu right now.

Learn more about Amazon Prime.

Pages with Related Products. See and discover other items: consciousness, access consciousness