Introductory Logic and Formal Methods
D. J. Heath, Derek Allum, Lynne Dunckley · Medical Entomology and Zoology · 1994
Mathematical preliminaries - sets, relations, functions propositional logic and calculus - syntax, semantics, conditional statements, implications, logical equivalence, tautologies, deductive rules predicate calculus overview of formal methods introduction to Z Z calculus illustrative examples using Z.