Adding product to your cart
| Author/Contributor(s): |
Boolos, George S
|
| Publisher: |
Cambridge University Press
|
| Date: |
04/28/1995
|
| Binding: |
Paperback
|
| Condition: |
NEW
|
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.
Use left/right arrows to navigate the slideshow or swipe left/right if using a mobile device
