TY  - BOOK
AU  - Pace,Gordon J.
TI  - Mathematics of Discrete Structures for Computer Science
SN  - 9783642298400
U1  - 005.131 
PY  - 2012///
CY  - New York
PB  - Springer
KW  - Computer science
KW  - Information theory
KW  - Logic, Symbolic and mathematical
KW  - Computer Science
KW  - Mathematics of Computing
KW  - Theory of Computation
KW  - Mathematical Logic and Foundations
N1  - Why Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying Relations -- More Discrete Structures -- Defining New Structured Types -- Numbers -- Reasoning About Programs -- Index
ER  -