Unprovability of consistency, the: an essay in modal logic
Auteur :
Boolos, George
Éditeur :
Cambridge University Press
ISBN :
9780521092975
Date de publication :
8 janv. 2009
Dimensions :
21,6 x 14,0 x 1,1 cm
Poids :
260 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.