The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 5,93 expédition depuis Etats-Unis vers France
Destinations, frais et délaisEUR 38,57 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Hardcover. Etat : Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.9. N° de réf. du vendeur G0521218799I3N01
Quantité disponible : 1 disponible(s)
Vendeur : ODYSSEY, Pointe Claire, QC, Canada
Hardcover. Etat : Fine. Etat de la jaquette : Very Good. 1st American 1st Printing. Type: Book 207 pp., black cloth bdg. with siver-stamped spine. Illustrated with numerous stills as well as photographs of Antonioni's work, many never published before. A FINE copy in a DJ(slightly scuffed edges spine and corners of flaps, otherwise very clean, price clipped) Photo scan available upon request. Books sold to the USA are shipped USPS out of Champlain NY. N° de réf. du vendeur 1432H
Quantité disponible : 1 disponible(s)
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Leinen. Etat : Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. VIII, 184 Seiten, Englisch 398g. N° de réf. du vendeur 492370
Quantité disponible : 1 disponible(s)
Vendeur : The Bookseller, Edmonton, AB, Canada
Hardcover. Etat : Very Good. Etat de la jaquette : Very Good. Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. viii, 184 pp. N° de réf. du vendeur 050113
Quantité disponible : 1 disponible(s)
Vendeur : dsmbooks, Liverpool, Royaume-Uni
hardcover. Etat : Good. Good. book. N° de réf. du vendeur D8S0-3-M-0521218799-3
Quantité disponible : 1 disponible(s)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0521218799
Quantité disponible : 1 disponible(s)
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Hardcover. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. N° de réf. du vendeur Scanned0521218799
Quantité disponible : 1 disponible(s)