Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In...