Logic Programming - 9780521607544

Logic Programming Operational Semantics and Proof Theory Andrews Paperback

Andrews - Logic Programming Operational Semantics and Proof Theory - - X555z

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

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

What Logics Mean: From Proof Theory to Model-Theoretic Semantics by James W. Gar

Functional Programming and Input/Output by Andrew D. Gordon (English) Paperback