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: Paperback
• Language: English
• ISBN: 0521092973
• ISBN13: 9780521092975
• Release Date: January 2009
• Publisher: Cambridge University Press
• Length: 196 Pages
• Weight: 0.56 lbs.
• Dimensions: 0.5" x 5.5" x 8.5"