Logic Programming by James H. Andrews - 9780521607544

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

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

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

Programming Languages and Operational Semantics - 9781447163671

Geometry of Meaning : Semantics Based on Conceptual Spaces, Paperback by Gard...

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion