03-12-2025, 10:55 -
[center]![[Obrazek: 44bd2798c9508bef6592b335c8b17dad.png]](https://i126.fastpic.org/big/2025/1203/ad/44bd2798c9508bef6592b335c8b17dad.png)
English | 2025 | ISBN: 1009561294 | 335 pages | True PDF | 2.71 MB [/center]
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.
English | 2025 | ISBN: 1009561294 | 335 pages | True PDF | 2.71 MB [/center]
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.
Cytat:https://rapidgator.net/file/9cd52976e426...4.pdf.html