1
Finite Model Theory
Lecture 15
FO
k
Types