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)