Proof Theory And Logic Programming by Miller, Dale (inria Saclay-Ile-De-Franc...

Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H

Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English

Logic Programming : Operational Semantics And Proof Theory, Paperback by Andr...

Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E

Proof Theory and Logic Programming: Computation, Miller, Miller,..