Mathematical Logic Textbook Collection | 02EEFFACC4024F5B367ACE980E976EE0F50C6550

Mathematical Logic Textbook Collection

Name	Mathematical Logic Textbook Collection	DOWNLOAD Copy Link
Total Size	650.3 MB
Total Files	55
Hash	02EEFFACC4024F5B367ACE980E976EE0F50C6550

/Model Theory/
Shelah - Classification Theory.pdf	50.0 MB
Ebbinghaus & Flum - Finite Model Theory.pdf	15.7 MB
Hodges - Model Theory.djvu	7.1 MB
Keisler - Model Theory for Infinitary Logic.pdf	6.5 MB
Baldwin - Categoricity.pdf	1.7 MB
/Recursion Theory/
Odifreddi - Classical Recursion Theory.pdf	38.6 MB
Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf	36.6 MB
Handbook of Computability Theory.pdf	34.7 MB
Sacks - Higher Recursion Theory.pdf	26.2 MB
Shoenfield - Recursion Theory.PDF	8.7 MB
Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf	4.7 MB
Soare - Recursively Enumerable Sets and Degrees.djvu	3.7 MB
Enderton - Computability Theory.pdf	2.1 MB
Hindley - Basic Simple Type Theory.pdf	1.7 MB
Barendregt & Barendsen - Introduction to Lambda Calculus.pdf	554.9 KB
/Proof Theory/
Handbook of Proof Theory.pdf	37.6 MB
Troelstra - Constructivism in Mathematics Volume 1.pdf	31.1 MB
Takeuti - Proof Theory.pdf	16.0 MB
Negri & Plato - Structural Proof Theory.pdf	5.6 MB
Baaz & Leitsch - Methods of Cut Elimination.pdf	4.7 MB
Pohlers - Proof Theory.pdf	3.6 MB
Troelstra & Schwichtenberg - Basic Proof Theory.djvu	3.5 MB
Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf	3.3 MB
Simpson - Subsystems of Second Order Arithmetic.pdf	2.5 MB
Schwichtenberg & Wainer- Proofs and Computations.pdf	1.9 MB
Girard - Proofs and Types.pdf	863.4 KB
/Set Theory/
Devlin - Constructibility.pdf	29.4 MB
Mitchell & Steel - Fine Structure & Iteration Trees.pdf	13.0 MB
Zeman - Inner Models and Large Cardinals.PDF	10.4 MB
Enderton - Elements of Set Theory.pdf	10.1 MB
Halbeisen - Combinatorial Set Theory.pdf	9.7 MB
Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf	4.4 MB
Shelah - Cardinal Arithmetic.djvu	3.6 MB
Drake - Set Theory.djvu	2.3 MB
Tordorcevic - Walks on Ordinals.pdf	2.2 MB
Devlin - The Joy of Sets.djvu	2.0 MB
Neeman - The Determinacy of Long Games.pdf	1.9 MB
Set Theory and Model Theory.pdf	1.9 MB
/General Logic/
Shoenfield - Mathematical Logic.pdf	26.9 MB
Handbook of Mathematical Logic.pdf	23.9 MB
Ershov & Palyutin - Mathematical Logic.pdf	19.2 MB
Mendelson - Introduction to Mathematical Logic.djvu	4.4 MB
Hedman - A First Course in Logic.pdf	3.9 MB
Kunen - The Foundations of Mathematics.djvu	3.7 MB
Boolos, Burgess & Jeffrey - Computability and Logic.pdf	2.2 MB
Ebbinghaus, Flum & Thomas - Mathematical Logic.djvu	2.1 MB
Enderton - A Mathematical Introduction to Logic.pdf	2.1 MB
/Miscellaneous/
Baader & Nipkow - Term Rewriting and all that.pdf	26.3 MB
Curry - Combinatory Logic Volume II.pdf	24.2 MB
Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf	22.6 MB
Curry, Feys & Craig - Combinatory Logic Volume I.pdf	21.2 MB
Guessarian - Algebraic Semantics.pdf	13.3 MB
Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf	9.7 MB
Amadio & Curien - Domains and Lambda Calculi.pdf	3.6 MB
Isihara - Algorithmic Term Rewriting Systems.pdf	626.4 KB
Total files 55