Metalogic: an introduction to the metatheory of standard first order logic

Auteur :
Hunter, Geoffrey
Éditeur :
University of California Press
ISBN :
9780520023567
Date de publication :
26 juin 1973
Dimensions :
21,0 x 14,0 x 2,0 cm
Poids :
363 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.