Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.