Introduction to Mathematical Structures and Proofs - Gerstein, Larry J. (Springer New York : Imprint: Springer, 2012)