6 works on record
Parameterized complexity theory
Computer Science Logic
Logic and automata
Einführung in die mathematische Logik
Finite model theory
Topological Model Theory