An Introduction to Mathematical Logic and Type Theory To Truth Through Proof / by Peter B. Andrews.
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, com...
Full description
Saved in: