Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Proof Theory and Logic Programming: Computation as Proof Search (Hardcover) (ISBN-13: 9781009561297)
Vendor:
Dale Miller
Product type:
Books
- $80.00
$80.00- $80.00
- Unit price
- per
Subtotal:
$80.00
Description
xAuthor: Dale Miller
ISBN-10: 1009561294
ISBN-13: 9781009561297
Publisher: Cambridge University Press
Language: English
Published: 12/18/2025
Pages: 334
Format: Hardcover
Recently Viewed Products
- Choosing a selection results in a full page refresh.