Logic of provability, the
Auteur :
Boolos, George S.
Éditeur :
Cambridge University Press
ISBN :
9780521483254
Date de publication :
28 avr. 1995
Dimensions :
22,9 x 15,3 x 1,7 cm
Poids :
447 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.