Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set ...
Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...
If you're reading this, you've found my lecture notes for the Part III Mathematical Tripos course taught at the University of Cambridge for the academic year 2018-2019! They are based primarily on ...