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