Introduction to Mathematical Structures and Proofs