Introduction to Mathematical Structures and Proofs by L.J. Gerstein