Logic and automata by Jörg Flum | Menrva Books | MenrvaBooks