Kurt Gödel Colloquium (KGC)
The Kurt Gödel
Society
5. KGC 1997: Vienna, Austria
Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.):
Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings.
Lecture Notes in Computer Science 1289 Springer 1997, ISBN 3-540-63385-5
Contents 
4. KGC 1995: Florence, Italy
3. KGC 1993: Brno, Czech Republic
Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.):
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings.
Lecture Notes in Computer Science 713 Springer 1993, ISBN 3-540-57184-1
Contents
2. KGC 1991: Kichberg am Wechsel, Austra
1. KGC 1989: Salzburg, Austra
Copyright © Mon Mar 15 03:45:54 2010
by Michael Ley (ley@uni-trier.de)
