TY - BOOK AU - Grassmann,Winfried Karl AU - Tremblay,Jean-Paul TI - Logic and discrete mathematics : a computer science perspective SN - 9814024406 : U1 - 004.0151 PY - 1998/// CY - New Jersey PB - Prentice-Hall KW - Discrete mathematics KW - Logic; Propositional calculus; Predicate calculus; Prolog; Sets; Graphs; Languages; Database systems N2 - Computer science ER -