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 |
| Publisher: | Cambridge University Press |
| Publication date: | 2025-12-31 |
| Pages: | 400 |
| Author: | Dale Miller |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
