Logic and
Theory of
Discrete Systems

Informatik 7

Prof. Martin Grohe
Prof. Wolfgang Thomas