TY  - BOOK
AU  - Grassmann,Winfried Karl
AU  - Tremblay, Jean-Pa
TI  - Logic and discrete mathematics: a computer science perspective 
SN  - 0135012066 (hardcover)
PY  - 1995///
CY  - [S.l.]
PB  - Prentice Hall
N2  - This book covers all the traditional topics of discrete mathematics���logic, sets, relations, functions, and graphs���and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog , a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer scien
UR  - http://www.amazon.com/exec/obidos/ASIN/0135012066/chopaconline
ER  -