Free Shipping on Orders of $50 or more.

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

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

Regular price $122.40
Sale price $122.40 Regular price
Sale Sold out
Unit price
/per 
This is a pre order item. We will ship it when it comes in stock.
Lock Secure Transaction

by Dale Miller (Author)

Number of Pages: 334
Dimensions: 0.75 x 9 x 6 IN
Publication Date: December 18, 2025