Computer Science Logic and 8th Kurt Gödel Colloquium
The final versions submitted for publication must follow the Springer
Lecture Notes Style. Please read
instructions and take a copy of the
Submissions NOT in the correct format will NOT be accepted!
© 2002-2003 Kurt Gödel Society, Norbert Preining.