Proof Theory and Logic Programming
€79,30
14 dienu atgriešanas garantijaPārdomājāt? Pasūtījumu varat atcelt jebkurā brīdī vai to atgriezt 14 dienu laikā. Atgriešanas noteikumi
Par grāmatu
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.
| Autors | Dale Miller |
|---|---|
| Izdevējs | Cambridge University Press |
| Izdošanas gads | 2025 |
| Valoda | Angļu |
| Lappuses | 334 |
| Formāts | Cietajos vākos |
| ISBN | 9781009561297 |
Proof Theory and Logic Programming
€79,30
1