Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings - Georg Gottlob, Alexander Leitsch, Daniele Mundici ((Lecture Notes in Computer Science))