A logical approach to discrete math / David Gries, Fred B. Schneider(editors) - New York : Springer-Verlag, c1993. - xvi, 497 p. : ill. ; 25 cm. - Texts and monographs in computer science . ISBN: 0387941150 (New York : acidfree paper) 9780387941158r) Subjects--Topical Terms: Mathematics. LC Class. No.: QA39.2 / .G7473 1993 Dewey Class. No.: 510