Introduction to mathematical logic and type theory, an: to truth through proof
Auteur :
Andrews, Peter B.
Éditeur :
Andrews, Peter B.
ISBN :
9789048160792
Date de publication :
8 déc. 2010
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
629 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Bonaire, Saba
An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.