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

Name: Proof Theory and Logic Programming: Computation as Proof Search - Hardcover
Brand: BooksCloud
SKU: 9781009561297
Price: 132.19 USD
Availability: InStock

$132.19 USD

Sale Sold out

Shipping calculated at checkout.

Shipping: $8.00 or FREE when you spend $100+

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