Introduction to mathematical structures and proofs - Gerstein, Larry J (Springer Publishing Co., New York, 1996)