Torrent details for "An Introduction to Proof Theory: Normalization, Cut-Elimination,…" Log in to bookmark
Controls:
Category:
Language:
English
Total Size:
2.9 MB
Info Hash:
93D26C3E97CF8B6686F4DF5017846F91123CDB97
Added By:
Added:
June 1, 2023, 9:59 p.m.
Stats:
| Update
| File | Size |
|---|
Thanks for rating :
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
Name
DL
Uploader
Size
S/L
Added
-
14.6 MB
[41
/
38]
2023-10-27
| Uploaded by freecoursewb | Size 14.6 MB | Health [ 41 /38 ] | Added 2023-10-27 |
-
793.5 KB
[0
/
4]
2023-10-27
| Uploaded by freecoursewb | Size 793.5 KB | Health [ 0 /4 ] | Added 2023-10-27 |
-
14.8 MB
[8
/
5]
2023-07-01
| Uploaded by FreeCourseWeb | Size 14.8 MB | Health [ 8 /5 ] | Added 2023-07-01 |
NOTE
SOURCE: An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
None
