Introduction to mathematical structures and proofs - Larry J Gerstein (Springar science, 2012)