Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings - Dawar, Anuj; Veith, Helmut (Theoretical Computer Science and General Issues,, 2010)