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.
Shipping:
US$ 10.99
From Canada to U.S.A.
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: Book Deals, Tucson, AZ, U.S.A.
Condition: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 0.65. Seller Inventory # 353-0521218799-vrg
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: Mythos Center Books, Frontenac, MN, U.S.A.
Hard cover. Condition: Very Good. Very good in very good dust jacket. Signed by previous owner. NO MARKS in text Sewn binding. Cloth over boards. 208 p. Audience: General/trade. Seller Inventory # Alibris3518
Quantity: 1 available
Seller: Antiquariat Bernhardt, Kassel, Germany
Leinen. 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