Title: Introduction · to Mathematical Structures and · Proofs