- SKU: 9781009561297
- BARCODE: 9781009561297
- VENDOR: BooksCloud
Proof Theory and Logic Programming - Hardcover
$129.40
In stock!
Couldn't load pickup availability
Description
by Dale Miller (Author)
Number of Pages: 334
Dimensions: 0.75 x 9 x 6 IN
Publication Date: December 18, 2025