Offers an exposition of discrete mathematics, including the core mathematical foundation of computer science. This book
Includes:: a section on the formal proof of the validity of arguments in propositional logic & predicate logic. It also contains a chapter on elementary number theory & congruences.