Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings - Baaz, Matthias.; Makowsky, Johann A., 1948- (Lecture notes in computer science (Springer). ;, 2003)