Erich Grädel1958 · 4 obras en el catálogoObrasLectures in game theory for computer scientistsFinite Model Theory and Its ApplicationsAutomata, logics, and infinite gamesLogic and automata