Download Mathematical logic textbook collection Torrent

Mathematical logic textbook collection

General Logic

Boolos, Burgess & Jeffrey - Computability and Logic.pdf	PDF	2.05 MB
Ebbinghaus, Flum & Thomas - Mathematical Logic.djvu	DJVU	2.03 MB
Enderton - A Mathematical Introduction to Logic.pdf	PDF	2.01 MB
Ershov & Palyutin - Mathematical Logic.pdf	PDF	18.33 MB
Handbook of Mathematical Logic.pdf	PDF	22.8 MB
Hedman - A First Course in Logic.pdf	PDF	3.77 MB
Kunen - The Foundations of Mathematics.djvu	DJVU	3.49 MB
Mendelson - Introduction to Mathematical Logic.djvu	DJVU	4.19 MB
Shoenfield - Mathematical Logic.pdf	PDF	25.64 MB

Miscellaneous

Amadio & Curien - Domains and Lambda Calculi.pdf	PDF	3.45 MB
Baader & Nipkow - Term Rewriting and all that.pdf	PDF	25.1 MB
Curry - Combinatory Logic Volume II.pdf	PDF	23.08 MB
Curry, Feys & Craig - Combinatory Logic Volume I.pdf	PDF	20.25 MB
Guessarian - Algebraic Semantics.pdf	PDF	12.72 MB
Isihara - Algorithmic Term Rewriting Systems.pdf	PDF	611.74 KB
Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf	PDF	9.25 MB
Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf	PDF	21.53 MB

Model Theory

Baldwin - Categoricity.pdf	PDF	1.65 MB
Ebbinghaus & Flum - Finite Model Theory.pdf	PDF	14.97 MB
Hodges - Model Theory.djvu	DJVU	6.75 MB
Keisler - Model Theory for Infinitary Logic.pdf	PDF	6.17 MB
Shelah - Classification Theory.pdf	PDF	47.7 MB

Proof Theory

Baaz & Leitsch - Methods of Cut Elimination.pdf	PDF	4.51 MB
Girard - Proofs and Types.pdf	PDF	843.21 KB
Handbook of Proof Theory.pdf	PDF	35.84 MB
Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf	PDF	3.16 MB
Negri & Plato - Structural Proof Theory.pdf	PDF	5.37 MB
Pohlers - Proof Theory.pdf	PDF	3.43 MB
Schwichtenberg & Wainer- Proofs and Computations.pdf	PDF	1.82 MB
Simpson - Subsystems of Second Order Arithmetic.pdf	PDF	2.39 MB
Takeuti - Proof Theory.pdf	PDF	15.24 MB
Troelstra & Schwichtenberg - Basic Proof Theory.djvu	DJVU	3.3 MB
Troelstra - Constructivism in Mathematics Volume 1.pdf	PDF	29.7 MB

Recursion Theory

Barendregt & Barendsen - Introduction to Lambda Calculus.pdf	PDF	541.86 KB
Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf	PDF	4.44 MB
Enderton - Computability Theory.pdf	PDF	2.01 MB
Handbook of Computability Theory.pdf	PDF	33.06 MB
Hindley - Basic Simple Type Theory.pdf	PDF	1.58 MB
Odifreddi - Classical Recursion Theory.pdf	PDF	36.81 MB
Sacks - Higher Recursion Theory.pdf	PDF	24.97 MB
Shoenfield - Recursion Theory.PDF	PDF	8.29 MB
Soare - Recursively Enumerable Sets and Degrees.djvu	DJVU	3.55 MB
Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf	PDF	34.95 MB

Set Theory

Devlin - Constructibility.pdf	PDF	28.07 MB
Devlin - The Joy of Sets.djvu	DJVU	1.87 MB
Drake - Set Theory.djvu	DJVU	2.21 MB
Enderton - Elements of Set Theory.pdf	PDF	9.64 MB
Halbeisen - Combinatorial Set Theory.pdf	PDF	9.23 MB
Mitchell & Steel - Fine Structure & Iteration Trees.pdf	PDF	12.44 MB
Neeman - The Determinacy of Long Games.pdf	PDF	1.83 MB
Set Theory and Model Theory.pdf	PDF	1.8 MB
Shelah - Cardinal Arithmetic.djvu	DJVU	3.48 MB
Tordorcevic - Walks on Ordinals.pdf	PDF	2.09 MB
Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf	PDF	4.22 MB
Zeman - Inner Models and Large Cardinals.PDF	PDF	9.96 MB

									Show full description
								

Related Torrents

TORRENT NAME	SIZE	FILES	AGE	SEED	LEECH	SOURCE
Introduction to the Mathematical Physics of Nonlinear Waves (Second Edition) Posted by freecoursewb in Books - Ebooks Posted in Books - Ebooks 13 8 MB 2 months ago freecoursewb	Size 8 MB	Files 3	Age 2 months ago	Seeds 13	Leechs 1	Source
Kim E. Handbook of Mathematical Proof 4ed 2023 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 0 1.65 MB 2 months ago andryold1	Size 1.65 MB	Files 1	Age 2 months ago	Seeds 0	Leechs 0	Source
Sun Y. A Mathematical Introduction to Data Science with Python 2026 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 0 5.81 MB 2 months ago andryold1	Size 5.81 MB	Files 1	Age 2 months ago	Seeds 0	Leechs 0	Source
Grieve N. An Introduction to Mathematical Programming and Network Science...2026 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 0 6.85 MB 2 months ago andryold1	Size 6.85 MB	Files 1	Age 2 months ago	Seeds 0	Leechs 0	Source
Essential Mathematics for Economics - A Student's Guide to Key Mathematical Techniques Posted by freecoursewb in Books - Ebooks Posted in Books - Ebooks 28 32.8 MB 3 months ago freecoursewb	Size 32.8 MB	Files 3	Age 3 months ago	Seeds 28	Leechs 0	Source

Mathematical logic textbook collection

Tracker name
udp://tracker.coppersurfer.tk:6969/announce
udp://9.rarbg.me:2850/announce
udp://9.rarbg.to:2920/announce
udp://tracker.opentrackr.org:1337
udp://tracker.leechers-paradise.org:6969/announce