Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

By Peter B. Andrews
Paperback
$99.99
By Peter B. Andrews
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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, Skolemi...

Categories

Science & TechnologyPhilosophyMathematicsMajor Branches of Philosophical StudyLogic & Foundations of MathematicsLogic