Egon Börger, Dean Rosenzweig (auth.), 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