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

Proof Theory and Logic Programming by Dale Miller: New

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

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

Proof Theory and Logic Programming: Computation, Miller, Miller,..

Proof Theory and Logic Programming Computation as Proof Search Miller Hardback

Dale Miller Proof Theory and Logic Programming (Hardback)

PROOF THEORY AND LOGIC PROGRAMMING: COMPUTATION AS PROOF SEARCH BY Dale Miller