Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
"synopsis" may belong to another edition of this title.