Join Books.org — it's free
Home > Books > Logic Programming : Operational Semantics and Proof Theory

Logic Programming : Operational Semantics and Proof Theory by James H. Andrews — book cover
Logic & Foundations of Mathematics, Computer Mathematics, Programming - General & Miscellaneous, Logic Design

Logic Programming : Operational Semantics and Proof Theory

by James H. Andrews
Write a review
Log in to track your reading progress.

This is the only edition we have for Logic Programming : Operational Semantics and Proof Theory.