The Unprovability of Consistency: An Essay in Modal Logic

By George S. Boolos

Book Overview

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521218799
• ISBN13: 9780521218795
• Release Date: April 1979
• Publisher: Cambridge University Press
• Length: 208 Pages
• Weight: 0.90 lbs.
• Dimensions: 8.3" x 0.8" x 5.4"