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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
£ 6.10 shipping from U.S.A. to United Kingdom
Destination, rates & speeds£ 32.80 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.9. Seller Inventory # G0521218799I3N01
Quantity: 1 available
Seller: The Bookseller, Edmonton, AB, Canada
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. viii, 184 pp. Seller Inventory # 050113
Quantity: 1 available
Seller: ODYSSEY, Pointe Claire, QC, Canada
Hardcover. Condition: Fine. Dust Jacket Condition: 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. Seller Inventory # 1432H
Quantity: 1 available
Seller: Antiquariat Bernhardt, Kassel, Germany
Leinen. Condition: Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. VIII, 184 Seiten, Englisch 398g. Seller Inventory # 492370
Quantity: 1 available
Seller: dsmbooks, Liverpool, United Kingdom
hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-0521218799-3
Quantity: 1 available
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521218799
Quantity: 1 available
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0521218799
Quantity: 1 available