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

9781009561297

Vendor: Books by splitShops
Regular price: $122.40
Sale price: $122.40
Unit price: per

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