Book

Logic and automata

by Jörg Flum, Erich Grädel