Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.