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 (Lecture Notes in Computer Science,, 2010)