Proofs and Concepts: The Fundamentals of Abstract Mathematics