Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
Book Title
Kurt Gödel Colloquium
Editor
Georg Gottlob and Alexander Leitsch and Daniele Mundici
ISBN
3−540−63385−5
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1289
Year
1997