Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings / - Baaz, Matthias.; Makowsky, Johann A., (Springer,, 2003)