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
Added4 months ago (2025-12-05 08:07:01)
Health
Good22/4
Info Hash346D8E6B479EACAC91ACF08560F4E04D734A6B88
Peers Updated7 hours ago (2026-04-17 06:48:54)

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 MB60Singh A. Foundation of Switching Theory and Logic Design 20083.57 MB20Centrone S. Temporal Logic...Proof Theory to AI and Quantum Computing 20230.01 kB00Burgess J. Set Theory. Elements in Philosophy and Logic 20220.00 kB12Miller K. Complex Stochastic Processes. An Introduction to Theory and App 19740.01 kB00

×