Proof Theory and Logic Programming
355,00 zł
14 dni na zwrotZmieniłeś zdanie? Możesz anulować zamówienie w dowolnym momencie lub zwrócić je w ciągu 14 dni. Zasady zwrotów
O książce
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.
| Autor | Dale Miller |
|---|---|
| Wydawnictwo | Cambridge University Press |
| Rok wydania | 2025 |
| Język | Angielski |
| Liczba stron | 334 |
| Format | Oprawa twarda |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
355,00 zł
1