The 5th Kurt Gödel Colloquium “Computational Logic and Proof Theory&quot was held from Monday, August 25 till Friday, August 29, 1997, in Vienna, Austria. The focus of the Conference - “Computational Logic and Proof Theory” - has attracted a lot of researchers tackling classical problems and finding new methods for long known questions in the field. There were seven invited lectures held by international renowned researchers (Leo Bachmair, Wilfried Buchholz, Samuel R. Buss, Walter A. Carnielli and P. R. S. Veloso, John A. Robinson, Tanel Tammet, Jerzy Tiuryn) and twenty contributed lectures. The proceedings have been published by Springer Verlag, LNCS 1289.