Proof Theory and Logic Programming
€79,30
14-day return guaranteeChanged your mind? You can cancel your order any time or return it within 14 days. Return policy
About the book
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.
| Author | Dale Miller |
|---|---|
| Publisher | Cambridge University Press |
| Published | 2025 |
| Language | English |
| Pages | 334 |
| Format | Hardcover |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
€79,30
1