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 (Springer, 2003)