Thomas Wilke Editor & Author

Erich Grädel is professor of mathematical logic at the University of Aachen. Jörg Flum is professor of mathematical logic at the University of Freiberg. Thomas Wilke is professor of computer science at the University of Kiel.