Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025

Download Download Torrent Opens in your torrent client (e.g. qBittorrent)
Category Other
Size10.25 MB
Added5 months ago (2025-12-05 08:07:01)
Health
Excellent18/0
Info Hash346D8E6B479EACAC91ACF08560F4E04D734A6B88
Peers Updated3 days ago (2026-05-10 06:30:17)

Report Torrent

0 / 300

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

Similar Torrents

NameSizeSL
Hofmann M., Lange M. Automata Theory and Logic 20254.31 MB80Singh A. Foundation of Switching Theory and Logic Design 20083.57 MB30Centrone S. Temporal Logic...Proof Theory to AI and Quantum Computing 20230.01 kB12Burgess J. Set Theory. Elements in Philosophy and Logic 20220.00 kB01Miller K. Complex Stochastic Processes. An Introduction to Theory and App 19740.01 kB00

×