Pace, Gordon J. <br/><br/>
Mathematics of Discrete Structures for Computer Science 
by Gordon J. Pace. 
 - New York :  Springer :  2012 
 - 293 p. : 
<br/><br/>Why Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying Relations -- More Discrete Structures -- Defining New Structured Types -- Numbers -- Reasoning About Programs -- Index. 
<br/><br/><label>ISBN: </label>9783642298400 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Information theory.<br/>Logic, Symbolic and mathematical.<br/>Computer Science.<br/>Mathematics of Computing.<br/>Theory of Computation.<br/>Mathematical Logic and Foundations.
<br/><br/><label>Dewey Class. No.: </label>005.131  / PAC/M