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)