An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
Gebundenes Buch

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Versandkostenfrei!
Versandfertig in 6-10 Tagen
97,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
49 °P sammeln!
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.The last three chapters of...