Torrent details for "An Introduction to Proof Theory: Normalization, Cut-Elimination,…" 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:
English
Total Size:
2.9 MB
Info Hash:
93D26C3E97CF8B6686F4DF5017846F91123CDB97
Added By:
Added:
June 1, 2023, 9:59 p.m.
Stats:
|
(Last updated: July 12, 2025, 4:23 a.m.)
Name
DL
Uploader
Size
S/L
Added
-
793.5 KB
[0
/
4]
2023-10-27
| Uploaded by freecoursewb | Size 793.5 KB | Health [ 0 /4 ] | Added 2023-10-27 |
-
17.2 MB
[12
/
3]
2023-07-01
| Uploaded by FreeCourseWeb | Size 17.2 MB | Health [ 12 /3 ] | Added 2023-07-01 |
NOTE
SOURCE: An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
None
×