Logic of Provability George Boolos 1st Edition HC

Lavendier Books
(14887)
Seller's other items
Contact seller
US $45.00
ApproximatelyRM 190.16
Condition:
Acceptable
“Cambridge University Press; New York, 1993. Hardcover. First Publication. Acceptable to Good, black ”... Read moreabout condition
Breathe easy. Returns accepted.
Hurry before it's gone. 1 person is watching this item.
Shipping:
US $5.00 (approx RM 21.13) USPS Media MailTM.
Located in: Foster, Rhode Island, United States
Delivery:
Estimated between Fri, 24 Oct and Tue, 28 Oct to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the shipping service selected, the seller's shipping history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:125081376874
Last updated on Feb 07, 2025 03:59:58 MYTView all revisionsView all revisions

Item specifics

Condition
Acceptable
A book with obvious wear. May have some damage to the cover but integrity still intact. The binding may be slightly damaged but integrity is still intact. Possible writing in margins, possible underlining and highlighting of text, but no missing pages or anything that would compromise the legibility or understanding of the text. See all condition definitionsopens in a new window or tab
Seller Notes
“Cambridge University Press; New York, 1993. Hardcover. First Publication. Acceptable to Good, black ...
ISBN
9780521433426
Category

About this product

Product Identifiers

Publisher
Cambridge University Press
ISBN-10
0521433428
ISBN-13
9780521433426
eBay Product ID (ePID)
364919

Product Key Features

Number of Pages
314 Pages
Language
English
Publication Name
Logic of Provability
Publication Year
1994
Subject
Logic
Type
Textbook
Author
George S. Boolos
Subject Area
Mathematics, Philosophy
Format
Hardcover

Dimensions

Item Height
0.9 in
Item Weight
19.7 Oz
Item Length
9.3 in
Item Width
6.5 in

Additional Product Features

Intended Audience
College Audience
LCCN
92-043610
TitleLeading
The
Dewey Edition
20
Reviews
"The book contains an excellent combination of values: noble subject, fresh key results, and the gentle, friendly style of the author. It can be recommended as a textbook, as a handbook, or simply as high quality reading in logic."Sergei N. Artemov, Journal of Symbolic Logic, "I found it lively, lucid, and informative...Boolos' style of writing is unusually kind to the reader. When an argument becomes tricky, he breaks it down into a lot of small steps, showing the reader in detail just how to proceed. A result is that the book is remarkably easy to read."Vann McGee, Rutgers University, "I found it lively, lucid, and informative...Boolos' style of writing is unusually kind to the reader. When an argument becomes tricky, he breaks it down into a lot of small steps, showing the reader in detail just how to proceed. A result is that the book is remarkably easy to read." Vann McGee, Rutgers University, "The book contains an excellent combination of values: noble subject, fresh key results, and the gentle, friendly style of the author. It can be recommended as a textbook, as a handbook, or simply as high quality reading in logic." Sergei N. Artemov, Journal of Symbolic Logic
Illustrated
Yes
Dewey Decimal
511.3
Table Of Content
1. GL and other systems of propositional modal logic; 2. Peano arithmetic; 3. The box as Bew(x); 4. Semantics for GL and other modal logics; 5. Completeness and decidability of GL and K, K4, T, B, S4, and S5; 6. Canonical models; 7. On GL; 8. The fixed point theorem; 9. The arithmetical completeness theorems for GL and GLS; 10. Trees for GL; 11. An incomplete system of modal logic; 12. An S4 -preserving proof-theoretical treatment of modality; 13. Modal logic within set theory; 14. Modal logic within analysis; 15. The joint provability logic of consistency and w-consistency; 16. On GLB: the fixed point theorem, letterless sentences, and analysis; 18. Quantified provability logic with one one-place predicate letter; Notes; Bibliography; Index.
Synopsis
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians., This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency., Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.
LC Classification Number
BC199.M6 B65 1993

Item description from the seller

About this seller

Lavendier Books

100% positive feedback•25K items sold

Joined Apr 1998
Usually responds within 24 hours
Greetings!!! We offer a fine selection of antiquarian and collectible books across all fields. We specialize in Genealogy, Town Histories, Higher Math Sciences, University Press, Scholarly & Academic, ...
See more
Visit storeContact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
5.0
Reasonable shipping cost
4.9
Shipping speed
5.0
Communication
5.0

Popular categories from this store

See allcategories
AmericanaAntiquarianAntiques & CollectiblesArchitectureArtAsiaAstronomy/UniverseAudio BooksAutomotive

Seller feedback (15,068)

All ratingsselected
Positive
Neutral
Negative
  • b***9 (81)- Feedback left by buyer.
    Past month
    Verified purchase
    Another fantastic transaction. Seller was very responsive to a question I had about the item, and shipped it straight away, same day as my order. As before, the program was very well-packaged in a plastic sleeve within a padded envelope enforced with cardboard. Good doing business.
    Vintage College Football Program Colgate vs. Cornell October 21 1922 (#127381490162)
  • o***e (247)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Mark! Much thanks for my 1st Edition of Scott Fitzgerald's "All The Sad Young Me." As advertised, a very good copy mailed to me at warp speed and exceptionally well packed. We had a minor glitch, but you went above and beyond to rectify it and I could not be more please. Most professional of you and could not have asked for more. Looking forward to doing business again and only wish there were more book merchants out there as kind as you! Cheers and regards to you and yours. AAAAAAA++++++
    All the Sad Young Men F. Scott Fitzgerald 1st Ed 1st Print 1st State HC (#186696082129)
  • v***v (853)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Great seller, super fast shipping, amazing prices, fast communication. The packaging was very well done and the item arrived safely! Exactly as described.
    Soft-Hackled Fly Imitations Sylvester Nemes HC Signed (#186907138773)
See all feedback

More to explore :