The Logic of Provability


Price:
Sale price$59.50

Description

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.

Author: George S. Boolos
Publisher: Cambridge University Press
Published: 04/28/1995
Pages: 316
Binding Type: Paperback
Weight: 0.98lbs
Size: 9.02h x 6.02w x 0.71d
ISBN13: 9780521483254
ISBN10: 0521483255
BISAC Categories:
- Philosophy | Mind & Body
- Philosophy | Logic

This title is not returnable