Torrent details for "Miller D, Proof Theory and Logic Programming. Computation as Pro…" Log in to bookmark
Controls:
×
Report Torrent
Please select a reason for reporting this torrent:
Your report will be reviewed by our moderation team.
×
Report Information
Loading report information...
This torrent has been reported 0 times.
Report Summary:
| User | Reason | Date |
|---|
Failed to load report information.
×
Success
Your report has been submitted successfully.
Checked by:
Category:
Language:
None
Total Size:
10.3 MB
Info Hash:
346D8E6B479EACAC91ACF08560F4E04D734A6B88
Added By:
Added:
Dec. 5, 2025, 9:19 a.m.
Stats:
|
(Last updated: Dec. 5, 2025, 9:20 a.m.)
| File | Size |
|---|---|
| Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025.pdf | 10.3 MB |
Name
DL
Uploader
Size
S/L
Added
-
24.9 MB
[49
/
8]
2023-07-01
| Uploaded by indexFroggy | Size 24.9 MB | Health [ 49 /8 ] | Added 2023-07-01 |
-
19.9 MB
[31
/
5]
2023-07-01
| Uploaded by indexFroggy | Size 19.9 MB | Health [ 31 /5 ] | Added 2023-07-01 |
-
10.3 MB
[37
/
14]
2025-12-05
| Uploaded by andryold1 | Size 10.3 MB | Health [ 37 /14 ] | Added 2025-12-05 |
-
39.6 MB
[43
/
6]
2023-07-01
| Uploaded by indexFroggy | Size 39.6 MB | Health [ 43 /6 ] | Added 2023-07-01 |
NOTE
SOURCE: Miller D, Proof Theory and Logic Programming. Computation as Proof Search 2025
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
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
×