Logic Programming - 9780521607544

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 by James H. Andrews (E

Programming Languages and Operational Semantics - 9781447163671

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

What Logics Mean: From Proof Theory to Model-Theoretic Semantics