intro to proof systems
Thoughts to come.
syllabus
Syntax and semantics of propositional logic, first-order logic, and second-order logic. Expressing mathematical and computational problems in logic. Normal forms of logical formulae. Truth tables. The satisfiability problem. Axiomatisation. Equational reasoning. Natural deduction. Sequent calculus. Resolution. Compactness. Herbrand's theorem. The downward and upward Löwenheim–Skolem theorems. Lambda calculus.