Proof Theory and Logic Programming
€95.90
Shipping in 4/5 days
Product Information
| ISBN | 9781009561297 |
|---|---|
| Publisher | Cambridge University Press |
| Publishing Date | 18/12/2025 |
| Price (excl. tax) | €90.47 |
| Tax | €5.43 |
| Price (incl. tax) | €95.90 |
| Availability | 2 units in external warehouse |
Product Description
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.