You are about to access our book library "Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997, Proceedings full version" .