The Logic of Provability
George S. (Massachusetts Institute of Technology) Boolos
Cambridge University Press, 1995
57,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521483254
- ISBN-10
- 0521483255
- Publisher
- Cambridge University Press
- Year
- 1995
- Publication date
- 1995-04-28
- Pages
- 316
- Dimensions
- 155x228x19
- Weight
- 484