Proof Theory and Logic Programming: Computation as Proof Search

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

From

£54.36

Pages: 334, Hardcover, Cambridge University Press

Pages: 334, Hardcover, Cambridge University Press

Price now:

From

Proof Theory and Logic Programming: Computation as Proof Search

Amazon

£55.19

£60.00

Proof Theory and Logic Programming Computation as Proof Search Miller Hardback

eBay

£54.36

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