Introduction To Mathematical Structures And Proofs - Gerstein L J; Gerstein L J (Springer Publication, 1996)
192 GEN