Index
Introduction to formal reasoning (COMP2065)
1. Introduction
2. Propositional logic
3. Classical logic
4. Predicate logic
5. The Booleans
6. The Natural Numbers
7. Lists
8. Trees
9. Gödel’s incompleteness theorem
PDF version
Lean Home
Quick search