Tell your friends about this item:
The Logic of Provability Boolos, George S. (Massachusetts Institute of Technology)
Do you have a profile? Log in
Get notified about new Boolos, George S. (Massachusetts Institute of Technology) releases
Our customers say:
Add to your iMusic wish list
The Logic of Provability
Boolos, George S. (Massachusetts Institute of Technology)
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.
316 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 28, 1995 |
| ISBN13 | 9780521483254 |
| Publishers | Cambridge University Press |
| Pages | 316 |
| Dimensions | 228 × 155 × 19 mm · 484 g |
| Language | English |
