1
Finite Model Theory
Lecture 8
Logics and Complexity Classes