Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings - Gottlob, Georg; Gottlob, Georg; Leitsch, Alexander; Leitsch, Alexander; Mundici, Daniele; Mundici, Daniele (Springer Berlin Heidelberg : Imprint: Springer, 1997)