Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) 2007 · ENGLISH · PDF View details →
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings 2009 · ENGLISH · PDF View details →
Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games) 2008 · ENGLISH · PDF View details →
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings 2009 · ENGLISH · PDF View details →