| General Logic | |||
| Boolos, Burgess & Jeffrey - Computability and Logic.pdf | 2.05 MB | ||
| Ebbinghaus, Flum & Thomas - Mathematical Logic.djvu | 2.03 MB | ||
| Enderton - A Mathematical Introduction to Logic.pdf | 2.01 MB | ||
| Ershov & Palyutin - Mathematical Logic.pdf | 18.33 MB | ||
| Handbook of Mathematical Logic.pdf | 22.8 MB | ||
| Hedman - A First Course in Logic.pdf | 3.77 MB | ||
| Kunen - The Foundations of Mathematics.djvu | 3.49 MB | ||
| Mendelson - Introduction to Mathematical Logic.djvu | 4.19 MB | ||
| Shoenfield - Mathematical Logic.pdf | 25.64 MB | ||
| Miscellaneous | |||
| Amadio & Curien - Domains and Lambda Calculi.pdf | 3.45 MB | ||
| Baader & Nipkow - Term Rewriting and all that.pdf | 25.1 MB | ||
| Curry - Combinatory Logic Volume II.pdf | 23.08 MB | ||
| Curry, Feys & Craig - Combinatory Logic Volume I.pdf | 20.25 MB | ||
| Guessarian - Algebraic Semantics.pdf | 12.72 MB | ||
| Isihara - Algorithmic Term Rewriting Systems.pdf | 611.74 KB | ||
| Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf | 9.25 MB | ||
| Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf | 21.53 MB | ||
| Model Theory | |||
| Baldwin - Categoricity.pdf | 1.65 MB | ||
| Ebbinghaus & Flum - Finite Model Theory.pdf | 14.97 MB | ||
| Hodges - Model Theory.djvu | 6.75 MB | ||
| Keisler - Model Theory for Infinitary Logic.pdf | 6.17 MB | ||
| Shelah - Classification Theory.pdf | 47.7 MB | ||
| Proof Theory | |||
| Baaz & Leitsch - Methods of Cut Elimination.pdf | 4.51 MB | ||
| Girard - Proofs and Types.pdf | 843.21 KB | ||
| Handbook of Proof Theory.pdf | 35.84 MB | ||
| Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf | 3.16 MB | ||
| Negri & Plato - Structural Proof Theory.pdf | 5.37 MB | ||
| Pohlers - Proof Theory.pdf | 3.43 MB | ||
| Schwichtenberg & Wainer- Proofs and Computations.pdf | 1.82 MB | ||
| Simpson - Subsystems of Second Order Arithmetic.pdf | 2.39 MB | ||
| Takeuti - Proof Theory.pdf | 15.24 MB | ||
| Troelstra & Schwichtenberg - Basic Proof Theory.djvu | 3.3 MB | ||
| Troelstra - Constructivism in Mathematics Volume 1.pdf | 29.7 MB | ||
| Recursion Theory | |||
| Barendregt & Barendsen - Introduction to Lambda Calculus.pdf | 541.86 KB | ||
| Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf | 4.44 MB | ||
| Enderton - Computability Theory.pdf | 2.01 MB | ||
| Handbook of Computability Theory.pdf | 33.06 MB | ||
| Hindley - Basic Simple Type Theory.pdf | 1.58 MB | ||
| Odifreddi - Classical Recursion Theory.pdf | 36.81 MB | ||
| Sacks - Higher Recursion Theory.pdf | 24.97 MB | ||
| Shoenfield - Recursion Theory.PDF | 8.29 MB | ||
| Soare - Recursively Enumerable Sets and Degrees.djvu | 3.55 MB | ||
| Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf | 34.95 MB | ||
| Set Theory | |||
| Devlin - Constructibility.pdf | 28.07 MB | ||
| Devlin - The Joy of Sets.djvu | 1.87 MB | ||
| Drake - Set Theory.djvu | 2.21 MB | ||
| Enderton - Elements of Set Theory.pdf | 9.64 MB | ||
| Halbeisen - Combinatorial Set Theory.pdf | 9.23 MB | ||
| Mitchell & Steel - Fine Structure & Iteration Trees.pdf | 12.44 MB | ||
| Neeman - The Determinacy of Long Games.pdf | 1.83 MB | ||
| Set Theory and Model Theory.pdf | 1.8 MB | ||
| Shelah - Cardinal Arithmetic.djvu | 3.48 MB | ||
| Tordorcevic - Walks on Ordinals.pdf | 2.09 MB | ||
| Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf | 4.22 MB | ||
| Zeman - Inner Models and Large Cardinals.PDF | 9.96 MB |
A collection of mathematical logic textbooks, most in pdf format but a few in djvu.
* General Logic *
Handbook of Mathematic Logic
Boolos, Burgess & Jeffrey - Computability and Logic
Ebbinghaus, Flum & Thomas - Mathematical Logic (djvu)
Enderton - A Mathematical Introduction to Logic
Ershov & Palyutin - Mathematical Logic
Hedman - A First Course in Logic
Kunen - The Foundations of Mathematics (djvu)
Mendelson - Introduction to Mathematical Logic (djvu)
Shoenfield - Mathematical Logic
* Set Theory *
Set Theory and Model Theory
Devlin- Constructibility
Devlin - The Joy of Sets (djvu)
Drake - Set Theory (djvu)
Enderton - Elements of Set Theory
Halbeisen - Combinatorial Set Theory
Mitchell & Steel - Fine Structure & Iteration Trees
Neeman - The Determinacy of Long Games
Shelah - Cardinal Arithmetic (djvu)
Tordorcevic - Walks on Ordinals
Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal
Zeman - Inner Models and Large Cardinals
* Model Theory *
Baldwin - Categoricity
Ebbinghaus & Flum - Finite Model Theory
Hodges - Model Theory (djvu)
Keisler - Model Theory for Infinitary Logics
Shelah - Classification Theory
* Recursion Theory *
Handbook of Computability Theory
Barendregt & Barendsen - Introduction to Lambda Calculus
Barendregt, Dekkers & Statman - Lambda Calculus with Types
Enderton - Computability Theory
Hindley - Basic Simple Type Theory
Odifreddi - Classical Recursion Theory
Sacks - Higher Recursion Theory
Shoenfield - Recursion Theory
Soare - Recursively Enumerable Sets & Degrees (djvu)
Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism
* Proof Theory *
Handbook of Proof Theory
Baaz & Leitsch - Methods of Cut Elimination
Girard - Proofs and Types
Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics
Negri & Plato - Structural Proof Theory
Pohlers - Proof Theory
Schwichtenberg & Wainer - Proofs and Computations
Simpson - Subsystems of Second Order Arithmetic
Takeuti - Proof Theory
Troelstra - Constructivism in Mathematics (vol 1)
Troelstra & Schwichtenberg - Basic Proof Theory (djvu)
* Miscellaneous *
Amadio & Curien - Domains and Lambda Calculi
Baader & Nipkow - Term Rewriting and all that
Curry, Feys & Craig - Combinatory Logic Volume I
Curry - Combinatory Logic Volume II
Guessarian - Algebraic Semantics
Isihara - Algorithmic Term Rewriting Systems
Lambek & Scott - Introduction to Higher Order Categorical Logic
Rasiowa & Sikorski - The Mathematics of Metamathematics
For other such textbooks, especially in set theory and model theory, please see the torrent:
Set Theory etc. textbook collection - CORRECTED
| torrent name | size | uploader | age | seed | leech |
|---|---|---|---|---|---|
| 82.12 MB | DHT | 4 days | 1 | 2 | |
| 1.82 MB | DHT | 4 days | 1 | 1 | |
|
Geometric Methods in Mathematical Physics I - Tensors, Special Relativity, Spinors Posted by
freecoursewb in Books
> Ebooks
|
27.3 MB | freecoursewb | 1 week | 6 | 4 |
|
Introduction to the Mathematical Physics of Nonlinear Waves (Second Edition) Posted by
freecoursewb in Books
> Ebooks
|
8 MB | freecoursewb | 2 months | 13 | 1 |
| 1.65 MB | andryold1 | 2 months | 0 | 0 |
All Comments