TorBT - Torrents and Magnet Links Search Engine
Latest Searches: birdy, birdman, portlandia, mad mad mad mad world, wolfmax, sweet doll/, royal pains, superstar, thorne, gladiator ii

Mathematical Logic Textbook Collection

Magnet Download Download Torrent
File Name
Size
Model Theory/Shelah - Classification Theory.pdf
48 MB
Recursion Theory/Odifreddi - Classical Recursion Theory.pdf
37 MB
Proof Theory/Handbook of Proof Theory.pdf
36 MB
Recursion Theory/Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf
35 MB
Recursion Theory/Handbook of Computability Theory.pdf
33 MB
Proof Theory/Troelstra - Constructivism in Mathematics Volume 1.pdf
30 MB
Set Theory/Devlin - Constructibility.pdf
28 MB
General Logic/Shoenfield - Mathematical Logic.pdf
26 MB
Miscellaneous/Baader & Nipkow - Term Rewriting and all that.pdf
25 MB
Recursion Theory/Sacks - Higher Recursion Theory.pdf
25 MB
Miscellaneous/Curry - Combinatory Logic Volume II.pdf
23 MB
General Logic/Handbook of Mathematical Logic.pdf
23 MB
Miscellaneous/Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf
22 MB
Miscellaneous/Curry, Feys & Craig - Combinatory Logic Volume I.pdf
20 MB
General Logic/Ershov & Palyutin - Mathematical Logic.pdf
18 MB
Proof Theory/Takeuti - Proof Theory.pdf
15 MB
Model Theory/Ebbinghaus & Flum - Finite Model Theory.pdf
15 MB
Miscellaneous/Guessarian - Algebraic Semantics.pdf
13 MB
Set Theory/Mitchell & Steel - Fine Structure & Iteration Trees.pdf
12 MB
Set Theory/Zeman - Inner Models and Large Cardinals.PDF
10 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 kB
Miscellaneous/Isihara - Algorithmic Term Rewriting Systems.pdf
612 kB
Recursion Theory/Barendregt & Barendsen - Introduction to Lambda Calculus.pdf
542 kB