Book: The Logic Of Provability 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.
Details of Book: The Logic Of Provability Book: The Logic Of Provability
Author: George S. Boolos
ISBN: 0521483255
ISBN-13: 9780521483254
, 978-0521483254
Binding: Paperback
Publishing Date: 28041995
Publisher: Cambridge University Press
Number of Pages: 316
Language: English