SHIPPING WORLDWIDE

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

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

9781009561297
Vendor
Books by splitShops
Regular price
$146.88
Sale price
$146.88
Unit price
per 
Tax included. All duties and taxes calculated at checkout.

by Dale Miller (Author)

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