Proof Theory and Logic Programming: Computation as Proof Search

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Logic in three books: Of thought, of investigation and of knowledge. Vol. 2

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)