TY - BOOK AU - Larry J. Gerstein TI - Introduction to Mathematical Structures and Proofs U1 - 511.3 GER/M PB - Springer-Verlag ER -