Proof Theory and Logic Programming
€79,30
14‑дневная гарантия возвратаПередумали? Вы можете отменить заказ в любое время или оформить возврат в течение 14 дней. Политика возврата
О книге
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.
| Автор | Dale Miller |
|---|---|
| Издательство | Cambridge University Press |
| Издано | 2025 |
| Язык | английский |
| Страницы | 334 |
| Формат | Твердая обложка |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
€79,30
1