Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.