« Предыдущая  |  Следующая »

https://i126.fastpic.org/big/2026/0111/c7/f99de376fe837157e3287b87cb0df4c7.webp
Free Download Dale Miller, "Proof Theory and Logic Programming: Computation as Proof Search"
English | ISBN: 1009561294 | 2025 | 334 pages | EPUB | 3 MB
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.

Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me

DDownload
https://ddownload.com/g6i3jqz8aiw4/j7ft9.7z
AlfaFile
https://alfafile.net/file/AdZqu/j7ft9.7z

Links are Interchangeable - Single Extraction

Ссылки: (для качалок)

Общий размер публикации: 823,8 КБ

Еще Книги: (похожие ссылки)