An Introduction to Mathematical Logic and Type Theory (2nd ed.)

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected]  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, Skolemiz