Logical Introduction to Proof - Cunningham, Daniel W. (New York : Springer, 2012)
Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.
Keywords: Logic, Symbolic and mathematical; Logic; Mathematics