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)