Proof Theory and Logic Programming: Computation as Proof Search

Name: Proof Theory and Logic Programming: Computation as Proof Search
Brand: Cambridge University Press

From

£51.59

Pages: 334, Hardcover, Cambridge University Press

Pages: 334, Hardcover, Cambridge University Press

Price now:

From

Proof Theory and Logic Programming Computation as Proof Search Miller Hardback

eBay

£51.59

The Logic of Number Theory Proofs (Proofs in Number Theory)

Amazon

£6.29

Proof Theory of N4-Paraconsistent Logics

Amazon

£14.25

Living Proof No Frizz Shampoo & Conditioner - 236ml - Clear

Debenhams

£40.38

£58.00

Model Theory versus Proof Theory within General Algebraic Logic

Amazon

£183.19