Introduction * to Mathematical Structures and * Proofs door