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.
Readers discussing Logic Programming : Operational Semantics and Proof Theory — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.

Start a discussion about this book

No discussions about this book yet.

Be the first — share a question, a passage, or a thought about Logic Programming : Operational Semantics and Proof Theory.