Proof Theory and Logic Programming
by Dale Miller
Format: Hardcover
ISBN13: 9781009561297
Hardcover|9781009561297
✨ Featured Offer
Brand New
$77.76
List Price: $80.00
🚚
See all 5 offers from $77.76 FREE standard delivery by: 02 Apr 2026
Overview
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
| ISBN-13 | 9781009561297 |
|---|---|
| ISBN-10 | 1009561294 |
| Weight | 1.44 Pounds |
| Dimensions | 6.00 x 0.75 x 9.00 In |
| List Price | $80.00 |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | 400 pages |
| Publisher | Cambridge University Press |
| Published On | 2025-12-18 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Sewn binding. Cloth over boards. 334 p. Contains: Unspecified.
Free delivery by: 02 Apr 2026
Used, Very Good
Seller details
Books From California
Simi Valley, CA, USA
Very Clean Copy-Over 500, 000 Internet Orders Filled.
Free delivery by: 02 Apr 2026
Used, Like New
Seller details
Books From California
Simi Valley, CA, USA
As New Condition-Over 500, 000 Internet Orders Shipped.
Free delivery by: 02 Apr 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026