Logic of Provability George Boolos 1st Edition HC

Lavendier Books
(14903)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $45,00
Ca.CHF 35,78
Artikelzustand:
Akzeptabel
“Cambridge University Press; New York, 1993. Hardcover. First Publication. Acceptable to Good, black ”... Mehr erfahrenÜber den Artikelzustand
Schnell, bevor er weg ist. 1 Person beobachtet diesen Artikel.
Ganz entspannt. Rückgaben akzeptiert.
Versand:
US $5,00 (ca. CHF 3,98) USPS Media MailTM.
Standort: Foster, Rhode Island, USA
Lieferung:
Lieferung zwischen Di, 28. Okt und Sa, 1. Nov nach 94104 bei heutigem Zahlungseingang
Wir wenden ein spezielles Verfahren zur Einschätzung des Liefertermins an – in diese Schätzung fließen Faktoren wie die Entfernung des Käufers zum Artikelstandort, der gewählte Versandservice, die bisher versandten Artikel des Verkäufers und weitere ein. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:125081376874
Zuletzt aktualisiert am 06. Feb. 2025 20:59:58 MEZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Akzeptabel
Buch mit deutlichen Gebrauchsspuren. Der Einband kann einige Beschädigungen aufweisen, ist aber in seiner Gesamtheit noch intakt. Die Bindung ist möglicherweise leicht beschädigt, in ihrer Gesamtheit aber noch intakt. In den Randbereichen wurden evtl. Notizen gemacht, der Text kann Unterstreichungen und Markierungen enthalten, es fehlen aber keine Seiten und es ist alles vorhanden, was für die Lesbarkeit oder das Verständnis des Textes notwendig ist. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“Cambridge University Press; New York, 1993. Hardcover. First Publication. Acceptable to Good, black ...
ISBN
9780521433426
Kategorie

Über dieses Produkt

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

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

Lavendier Books

100% positive Bewertungen•25 Tsd. Artikel verkauft

Mitglied seit Apr 1998
Antwortet meist innerhalb 24 Stunden
Angemeldet als gewerblicher Verkäufer
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, ...
Mehr anzeigen
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
5.0
Angemessene Versandkosten
4.9
Lieferzeit
5.0
Kommunikation
5.0

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
AmericanaAntiquarianAntiques & CollectiblesArchitectureArtAsiaAstronomy/UniverseAudio BooksAutomotive

Verkäuferbewertungen (15'084)

Alle Bewertungenselected
Positiv
Neutral
Negativ
  • b***9 (81)- Bewertung vom Käufer.
    Letzter Monat
    Bestätigter Kauf
    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 (Nr. 127381490162)
  • o***e (248)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    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 (Nr. 186696082129)
  • v***v (853)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    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 (Nr. 186907138773)
Alle Bewertungen ansehen

Noch mehr entdecken: