Introduction * to Mathematical Structures and * Proofs by