Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 1993 : proceedings / - Gottlob, G.; Leitsch, Alexander; Mundici, Daniele (Springer-Verlag, 1993)