
Einführung in die mathematische Logik
2018
ISBN 9783662580295
Mathematical Logic
1978
ISBN 9783030738389
Computer Science Logic
1999
ISBN 9783540481683
Topological Model Theory
1980
ISBN 9783540097327
Parameterized complexity theory
2006
ISBN 9783540299523
Logic and automata
2007
ISBN 9789053565766