The Logic of Provability by George S. Boolos
Requirements: PDF Reader, 8MB
Overview: 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.
Genre: Mathematics, Logic > Modal Logic, Philosophy
Download Instructions:
(Closed Filehost) https://hulkload.com/vge6jgcaa0ux
Mirror:
https://www.tusfiles.com/fy6xcsk8um3o
Requirements: PDF Reader, 8MB
Overview: 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.
Genre: Mathematics, Logic > Modal Logic, Philosophy
Download Instructions:
(Closed Filehost) https://hulkload.com/vge6jgcaa0ux
Mirror:
https://www.tusfiles.com/fy6xcsk8um3o