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