by Kurt Gödel Colloquium (5th 1997 Vienna, Austria)
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 rev…