Student logic seminar
(Spring 2018)
The seminar studies this semester "Finite model theory".
We will be using
Leonid Libkin's
book and lecture notes by
Martin Otto's
and
Jouko Vaananen's
.