|
An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs
2 years, 3 months
Files: 1 Total size: 2.9 MB Total requests: 100 Last access time: 1 month, 3 weeks
|
|
Devine - Goof Proof Grammar.pdf
2 years, 4 months
Files: 1 Total size: 554.0 KB Total requests: 290 Last access time: 17 hours, 32 minutes
|
Files: 3 Total size: 1.3 MB Total requests: 110 Last access time: 2 weeks, 2 days
|
|
Krantz S. Handbook of Logic and Proof..for Computer Science 2002
2 years, 4 months
Files: 1 Total size: 8.7 MB Total requests: 360 Last access time: 2 weeks, 1 day
|