Books by Thomas Wilke

About the Author

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