Tell your friends about this item:
The Logic of Provability Boolos, George S. (Massachusetts Institute of Technology)
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 |