Gries, David A logical approach to discrete math / David Gries, Fred B. Schneider - 1a ed. - New York : Springer-Verlag, 1993. - xvi, 497 p. : il. ; 23 cm. - Texts and monographs in computer science . Incluye bibliografía e índice. ISBN: 0387941150 Subjects--Topical Terms: Matemáticas LC Class. No.: QA39.2 / G75 1993