A logical approach to discrete math/
David Gries, Fred B. Schneider.
- New York: Springer-Verlag, c1993.
- xvi, 497 p.: ill.; 25 cm.
- Texts and monographs in computer science .
Includes bibliographical references (p. [473]-475) and index.
0387941150 (New York : acid-free paper) 3540941150 (Berlin : acid-free paper)