Gerstein, Larry J. Introduction to mathematical structures and proofs / Larry J. Gerstein. - New York : Springer 1996. - x, 350p. :ill.; Pbk. ISBN: 0387979972 Subjects--Topical Terms: Logic, Symbolic and mathematical. LC Class. No.: QA9.G3 1996 Dewey Class. No.: 511.3