Computational Logic and Proof Theory