Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
Book Title
Kurt Gödel Colloquium
Editor
Georg Gottlob and Alexander Leitsch and Daniele Mundici
ISBN
3−540−57184−1
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
713
Year
1993