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

Name: Proof Theory and Logic Programming: Computation as Proof Search - Hardcover
Brand: Books by splitShops
SKU: 9781009561297
Price: 122.40 USD
Availability: InStock

$122.40 USD

Sale Sold out

Report copyright infringement

by Dale Miller (Author)

Number of Pages: 334

Dimensions: 0.75 x 9 x 6 IN

Publication Date: December 18, 2025

View full details

Your cart is empty

Books

Books

Your cart

Estimated total

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

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

Country/region

Country/region

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

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

Subscribe to our emails