Mathematical Logic Textbook Collection
620.14 MB
Total Size
55
Files
August
Created
1
Seeders
1
Leechers
Basic Info
Hash: 02eeffacc4024f5b367ace980e976ee0f50c6550
File Status: Multi-file
Type: Public
File List (55 Files)
Model Theory/Shelah - Classification Theory.pdf
#1•
PDF
47.7 MB
Recursion Theory/Odifreddi - Classical Recursion Theory.pdf
#2•
PDF
36.81 MB
Proof Theory/Handbook of Proof Theory.pdf
#3•
PDF
35.84 MB
Recursion Theory/Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf
#4•
PDF
34.95 MB
Recursion Theory/Handbook of Computability Theory.pdf
#5•
PDF
33.06 MB
Proof Theory/Troelstra - Constructivism in Mathematics Volume 1.pdf
#6•
PDF
29.7 MB
Set Theory/Devlin - Constructibility.pdf
#7•
PDF
28.07 MB
General Logic/Shoenfield - Mathematical Logic.pdf
#8•
PDF
25.64 MB
Miscellaneous/Baader & Nipkow - Term Rewriting and all that.pdf
#9•
PDF
25.1 MB
Recursion Theory/Sacks - Higher Recursion Theory.pdf
#10•
PDF
24.97 MB