Similar Listings
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...
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