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

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

Logic Programming : Operational Semantics and Proof Theory

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

No ratings yet.

Log in to write a review.

Show only reviews of this edition

There are no reviews yet.