Compare proof theory and logic programming: computation as proof search products from over 5,000 stores
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
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

£44.14

To

£61.83

Pages: 400, Hardcover, Cambridge University Press

Proof Theory and Logic Programming: Computation as Proof Search

Pages: 400, Hardcover, Cambridge University Press

Price now:

From

£44.14

To

£61.83

£44.14

Amazon

Shop

£54.91

eBay

Shop

£55.45

eBay

Shop

£58.66

eBay

Shop

£60.00

Hive Books

Shop

£60.92

eBay

Shop

£61.83

eBay

Shop
Scroll

Similar Products

Proof Theory & Logic Programming

eBay

£54.91

View All
Program Proofs

Hive Books

£55.35

The Laws of Thought: The Quest for a Mathematical Theory of the Mind

Amazon

£23.70

Logic for Everyone : From Proof to Paradox

Hive Books

£34.15

Primary Mathematics: Teaching Theory and Practice (Achieving QTS Series)

eBay

£26.06