Introduction to Mathematical Logic

Paul Égré

EAling, 2005

 (September 19-22)


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)


Day 4 (Trees for FOL, Expressiveness results)