Tell your friends about this item:
The Unprovability of Consistency: An Essay in Modal Logic George Boolos
The Unprovability of Consistency: An Essay in Modal Logic
George Boolos
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.
196 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 8, 2009 |
| ISBN13 | 9780521092975 |
| Publishers | Cambridge University Press |
| Pages | 196 |
| Dimensions | 140 × 216 × 11 mm · 254 g |
| Language | English |
More by George Boolos
Show allMere med samme udgiver
See all of George Boolos ( e.g. Paperback Book and Hardcover Book )