| Mathematical Logic Textbook Collection/Model Theory/Shelah - Classification Theory.pdf |
47.7 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Odifreddi - Classical Recursion Theory.pdf |
36.8 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Handbook of Proof Theory.pdf |
35.8 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf |
34.9 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Handbook of Computability Theory.pdf |
33.1 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Troelstra - Constructivism in Mathematics Volume 1.pdf |
29.7 MB |
| Mathematical Logic Textbook Collection/Set Theory/Devlin - Constructibility.pdf |
28.1 MB |
| Mathematical Logic Textbook Collection/General Logic/Shoenfield - Mathematical Logic.pdf |
25.6 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Baader & Nipkow - Term Rewriting and all that.pdf |
25.1 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Sacks - Higher Recursion Theory.pdf |
25 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Curry - Combinatory Logic Volume II.pdf |
23.1 MB |
| Mathematical Logic Textbook Collection/General Logic/Handbook of Mathematical Logic.pdf |
22.8 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf |
21.5 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Curry, Feys & Craig - Combinatory Logic Volume I.pdf |
20.2 MB |
| Mathematical Logic Textbook Collection/General Logic/Ershov & Palyutin - Mathematical Logic.pdf |
18.3 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Takeuti - Proof Theory.pdf |
15.2 MB |
| Mathematical Logic Textbook Collection/Model Theory/Ebbinghaus & Flum - Finite Model Theory.pdf |
15 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Guessarian - Algebraic Semantics.pdf |
12.7 MB |
| Mathematical Logic Textbook Collection/Set Theory/Mitchell & Steel - Fine Structure & Iteration Trees.pdf |
12.4 MB |
| Mathematical Logic Textbook Collection/Set Theory/Zeman - Inner Models and Large Cardinals.PDF |
10 MB |
| Mathematical Logic Textbook Collection/Set Theory/Enderton - Elements of Set Theory.pdf |
9.6 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf |
9.2 MB |
| Mathematical Logic Textbook Collection/Set Theory/Halbeisen - Combinatorial Set Theory.pdf |
9.2 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Shoenfield - Recursion Theory.PDF |
8.3 MB |
| Mathematical Logic Textbook Collection/Model Theory/Hodges - Model Theory.djvu |
6.8 MB |
| Mathematical Logic Textbook Collection/Model Theory/Keisler - Model Theory for Infinitary Logic.pdf |
6.2 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Negri & Plato - Structural Proof Theory.pdf |
5.4 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Baaz & Leitsch - Methods of Cut Elimination.pdf |
4.5 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf |
4.4 MB |
| Mathematical Logic Textbook Collection/Set Theory/Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf |
4.2 MB |
| Mathematical Logic Textbook Collection/General Logic/Mendelson - Introduction to Mathematical Logic.djvu |
4.2 MB |
| Mathematical Logic Textbook Collection/General Logic/Hedman - A First Course in Logic.pdf |
3.8 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Soare - Recursively Enumerable Sets and Degrees.djvu |
3.5 MB |
| Mathematical Logic Textbook Collection/General Logic/Kunen - The Foundations of Mathematics.djvu |
3.5 MB |
| Mathematical Logic Textbook Collection/Set Theory/Shelah - Cardinal Arithmetic.djvu |
3.5 MB |
| Mathematical Logic Textbook Collection/Miscellaneous/Amadio & Curien - Domains and Lambda Calculi.pdf |
3.4 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Pohlers - Proof Theory.pdf |
3.4 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Troelstra & Schwichtenberg - Basic Proof Theory.djvu |
3.3 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf |
3.2 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Simpson - Subsystems of Second Order Arithmetic.pdf |
2.4 MB |
| Mathematical Logic Textbook Collection/Set Theory/Drake - Set Theory.djvu |
2.2 MB |
| Mathematical Logic Textbook Collection/Set Theory/Tordorcevic - Walks on Ordinals.pdf |
2.1 MB |
| Mathematical Logic Textbook Collection/General Logic/Boolos, Burgess & Jeffrey - Computability and Logic.pdf |
2.1 MB |
| Mathematical Logic Textbook Collection/General Logic/Ebbinghaus, Flum & Thomas - Mathematical Logic.djvu |
2 MB |
| Mathematical Logic Textbook Collection/General Logic/Enderton - A Mathematical Introduction to Logic.pdf |
2 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Enderton - Computability Theory.pdf |
2 MB |
| Mathematical Logic Textbook Collection/Set Theory/Devlin - The Joy of Sets.djvu |
1.9 MB |
| Mathematical Logic Textbook Collection/Set Theory/Neeman - The Determinacy of Long Games.pdf |
1.8 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Schwichtenberg & Wainer- Proofs and Computations.pdf |
1.8 MB |
| Mathematical Logic Textbook Collection/Set Theory/Set Theory and Model Theory.pdf |
1.8 MB |
| Mathematical Logic Textbook Collection/Model Theory/Baldwin - Categoricity.pdf |
1.7 MB |
| Mathematical Logic Textbook Collection/Recursion Theory/Hindley - Basic Simple Type Theory.pdf |
1.6 MB |
| Mathematical Logic Textbook Collection/Proof Theory/Girard - Proofs and Types.pdf |
843 KB |
| Mathematical Logic Textbook Collection/Miscellaneous/Isihara - Algorithmic Term Rewriting Systems.pdf |
612 KB |
| Mathematical Logic Textbook Collection/Recursion Theory/Barendregt & Barendsen - Introduction to Lambda Calculus.pdf |
542 KB |
Magnet link
