Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H

PROOF THEORY & LOGIC PROGRAMMING by MILLER, DALE Hardback Self Help Business

Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller

Proof Theory and Logic Programming by Dale Miller: Used

Proof Theory and Logic Programming by Dale Miller: New

Proof Theory And Logic Programming by Miller, Dale (inria Saclay-Ile-De-Franc...

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