Logic and discrete mathematics : a computer science perspective /
Winfried Karl Grassmann, Jean-Paul Tremblay.
- Upper Saddle River, N.J. : Prentice Hall, c1996.
- xviii, 750 p. : ill. ; 25 cm.
Includes bibliographical references (p. 641-643) and index.