Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search
Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory and Logic Programming: Computation as Proof Search

From

£51.59

To

£61.83

Pages: 334, Hardcover, Cambridge University Press

Proof Theory and Logic Programming: Computation as Proof Search

Pages: 334, Hardcover, Cambridge University Press

Price now:

From

£51.59

To

£61.83

£51.59

eBay

Shop

£58.63

eBay

Shop

£60.00

Hive Books

Shop

£60.00

Amazon

Shop

£61.83

eBay

Shop

Similar Products

Proof Theory and Logic Programming Computation as Proof Search Miller Hardback

eBay

£51.59

View All
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