Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, Daniele
Berlin, Heidelberg: Springer Berlin Heidelberg 1993
Texto completo disponível