Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025
Download this torrent!
Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025
To start this P2P download, you have to install a BitTorrent client like qBittorrent
Category: Other
Total size: 10.25 MB
Added: 2 months ago (2025-12-05 08:07:01)
Share ratio: 24 seeders, 0 leechers
Info Hash: 346D8E6B479EACAC91ACF08560F4E04D734A6B88
Last updated: 3 hours ago (2026-03-03 01:14:35)
Description:
Textbook in PDF format
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