Mathematical Logic Textbook Collection |
||
Name |
DOWNLOAD Copy Link | |
Total Size |
650.3 MB |
|
Total Files |
55 |
|
Hash |
02EEFFACC4024F5B367ACE980E976EE0F50C6550 |
/Model Theory/ |
|
|
50.0 MB |
|
15.7 MB |
|
7.1 MB |
|
6.5 MB |
|
1.7 MB |
/Recursion Theory/ |
|
|
38.6 MB |
Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf |
36.6 MB |
|
34.7 MB |
|
26.2 MB |
|
8.7 MB |
Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf |
4.7 MB |
|
3.7 MB |
|
2.1 MB |
|
1.7 MB |
Barendregt & Barendsen - Introduction to Lambda Calculus.pdf |
554.9 KB |
/Proof Theory/ |
|
|
37.6 MB |
|
31.1 MB |
|
16.0 MB |
|
5.6 MB |
|
4.7 MB |
|
3.6 MB |
|
3.5 MB |
Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf |
3.3 MB |
|
2.5 MB |
|
1.9 MB |
|
863.4 KB |
/Set Theory/ |
|
|
29.4 MB |
|
13.0 MB |
|
10.4 MB |
|
10.1 MB |
|
9.7 MB |
Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf |
4.4 MB |
|
3.6 MB |
|
2.3 MB |
|
2.2 MB |
|
2.0 MB |
|
1.9 MB |
|
1.9 MB |
/General Logic/ |
|
|
26.9 MB |
|
23.9 MB |
|
19.2 MB |
|
4.4 MB |
|
3.9 MB |
|
3.7 MB |
|
2.2 MB |
|
2.1 MB |
|
2.1 MB |
/Miscellaneous/ |
|
|
26.3 MB |
|
24.2 MB |
|
22.6 MB |
|
21.2 MB |
|
13.3 MB |
Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf |
9.7 MB |
|
3.6 MB |
|
626.4 KB |
Total files 55 |
Copyright © 2024 FileMood.com