Computer Science Logic and 8th Kurt Gödel Colloquium
Authors' instructions
The final versions submitted for publication must follow the Springer Lecture Notes Style. Please read Springers instructions and take a copy of the authors guide.

Submissions NOT in the correct format will NOT be accepted!

© 2002-2003 Kurt Gödel Society, Norbert Preining. 2003-06-06 Valid HTML 4.01! Valid CSS! Debian