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

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

Symbolic Logic: Syntax, Semantics, and Proof - Paperback By Agler, David - GOOD

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

Logic Programming Operational Semantics and Proof Theory Andrews Paperback

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

Proof Theory and Logic Programming by Dale Miller: New