The
slides of the course I gave at Ealing 2005 can be
downloaded. I updated some of the exercises and corrected some major typos
since my presentation.
The course is organized in six main parts, which were presented in 4
sessions of 1h30mn each.
Day
1 (Preliminaries, Syntax and Semantics of Propositional Logic)
Day 2 (Tree method,
soundness, completeness, compactness)
Day 3 (Syntax and
Semantics of First-Order Logic)