- Snag Books Online BookstoreHome
- The Logic of Provability
- The Logic of Provability
The Logic of Provability
George S. Boolos
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.Binding Type: PaperbackAuthor: George S. BoolosPublisher: Cambridge University PressPublished: 04/28/1995ISBN: 9780521483254Pages: 316Weight: 0.98lbsSize: 9.02h x 6.02w x 0.71d
The Logic of Provability
Author:
George S. Boolos
$41.99
4199
72 items
In Stock
- SKU: 9780521483254
- Category: Snag Books Bestselling Titles
- Order within
Book Title
The Logic of Provability
Author
George S. Boolos
ISBN
9780521483254
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.
Binding Type: Paperback
Author: George S. Boolos
Publisher: Cambridge University Press
Published: 04/28/1995
ISBN: 9780521483254
Pages: 316
Weight: 0.98lbs
Size: 9.02h x 6.02w x 0.71d
Binding Type: Paperback
Author: George S. Boolos
Publisher: Cambridge University Press
Published: 04/28/1995
ISBN: 9780521483254
Pages: 316
Weight: 0.98lbs
Size: 9.02h x 6.02w x 0.71d
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.
Binding Type: Paperback
Author: George S. Boolos
Publisher: Cambridge University Press
Published: 04/28/1995
ISBN: 9780521483254
Pages: 316
Weight: 0.98lbs
Size: 9.02h x 6.02w x 0.71d
Binding Type: Paperback
Author: George S. Boolos
Publisher: Cambridge University Press
Published: 04/28/1995
ISBN: 9780521483254
Pages: 316
Weight: 0.98lbs
Size: 9.02h x 6.02w x 0.71d
Related Products