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