Introduction to Proof in Abstract Mathematics (Dover Books on Mathematics)