ENGLISH

The Logic of Provability

By George Boolos

Book information

Publisher
Cambridge University Press
Year
1993
ISBN
0521433428, 0521483255, 9780521433426
LCC
BC199.M6 B65 1993
Google Books ID
WekaT3OLoUcC
Open Library ID
OL1738391M
Language
english
Format
PDF
Filesize
10 MB (10677559 bytes)
Pages
315\315
Orientation
yes
Scanned
yes
Time added
2011-08-31 04:54:40

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.

Similar books