589689.xyz

Mathematical Logic Textbook Collection

  • 收录时间:2018-04-02 12:31:21
  • 文件大小:620MB
  • 下载次数:157
  • 最近下载:2021-01-13 16:25:53
  • 磁力链接:
立即下载 复制链接

文件列表

  1. Model Theory/Shelah - Classification Theory.pdf 48MB
  2. Recursion Theory/Odifreddi - Classical Recursion Theory.pdf 37MB
  3. Proof Theory/Handbook of Proof Theory.pdf 36MB
  4. Recursion Theory/Sorensen & Urzyczyn - Lectures on the Curry-Howard Isomorphism.pdf 35MB
  5. Recursion Theory/Handbook of Computability Theory.pdf 33MB
  6. Proof Theory/Troelstra - Constructivism in Mathematics Volume 1.pdf 30MB
  7. Set Theory/Devlin - Constructibility.pdf 28MB
  8. General Logic/Shoenfield - Mathematical Logic.pdf 26MB
  9. Miscellaneous/Baader & Nipkow - Term Rewriting and all that.pdf 25MB
  10. Recursion Theory/Sacks - Higher Recursion Theory.pdf 25MB
  11. Miscellaneous/Curry - Combinatory Logic Volume II.pdf 23MB
  12. General Logic/Handbook of Mathematical Logic.pdf 23MB
  13. Miscellaneous/Rasiowa & Sikorski - The Mathematics of Metamathematics.pdf 22MB
  14. Miscellaneous/Curry, Feys & Craig - Combinatory Logic Volume I.pdf 20MB
  15. General Logic/Ershov & Palyutin - Mathematical Logic.pdf 18MB
  16. Proof Theory/Takeuti - Proof Theory.pdf 15MB
  17. Model Theory/Ebbinghaus & Flum - Finite Model Theory.pdf 15MB
  18. Miscellaneous/Guessarian - Algebraic Semantics.pdf 13MB
  19. Set Theory/Mitchell & Steel - Fine Structure & Iteration Trees.pdf 12MB
  20. Set Theory/Zeman - Inner Models and Large Cardinals.PDF 10MB
  21. Set Theory/Enderton - Elements of Set Theory.pdf 10MB
  22. Miscellaneous/Lambek & Scott - Introduction to Higher Order Categorical Logic.pdf 9MB
  23. Set Theory/Halbeisen - Combinatorial Set Theory.pdf 9MB
  24. Recursion Theory/Shoenfield - Recursion Theory.PDF 8MB
  25. Model Theory/Hodges - Model Theory.djvu 7MB
  26. Model Theory/Keisler - Model Theory for Infinitary Logic.pdf 6MB
  27. Proof Theory/Negri & Plato - Structural Proof Theory.pdf 5MB
  28. Proof Theory/Baaz & Leitsch - Methods of Cut Elimination.pdf 5MB
  29. Recursion Theory/Barendregt, Dekkers & Statman - Lambda Calculus with Types.pdf 4MB
  30. Set Theory/Woodin - The Axiom of Determinacy, Forcing Axioms and the Non-Stationary Ideal.pdf 4MB
  31. General Logic/Mendelson - Introduction to Mathematical Logic.djvu 4MB
  32. General Logic/Hedman - A First Course in Logic.pdf 4MB
  33. Recursion Theory/Soare - Recursively Enumerable Sets and Degrees.djvu 4MB
  34. General Logic/Kunen - The Foundations of Mathematics.djvu 3MB
  35. Set Theory/Shelah - Cardinal Arithmetic.djvu 3MB
  36. Miscellaneous/Amadio & Curien - Domains and Lambda Calculi.pdf 3MB
  37. Proof Theory/Pohlers - Proof Theory.pdf 3MB
  38. Proof Theory/Troelstra & Schwichtenberg - Basic Proof Theory.djvu 3MB
  39. Proof Theory/Metcalfe, Olivetti & Gabbay - Proof Theory for Fuzzy Logics.pdf 3MB
  40. Proof Theory/Simpson - Subsystems of Second Order Arithmetic.pdf 2MB
  41. Set Theory/Drake - Set Theory.djvu 2MB
  42. Set Theory/Tordorcevic - Walks on Ordinals.pdf 2MB
  43. General Logic/Boolos, Burgess & Jeffrey - Computability and Logic.pdf 2MB
  44. General Logic/Ebbinghaus, Flum & Thomas - Mathematical Logic.djvu 2MB
  45. General Logic/Enderton - A Mathematical Introduction to Logic.pdf 2MB
  46. Recursion Theory/Enderton - Computability Theory.pdf 2MB
  47. Set Theory/Devlin - The Joy of Sets.djvu 2MB
  48. Set Theory/Neeman - The Determinacy of Long Games.pdf 2MB
  49. Proof Theory/Schwichtenberg & Wainer- Proofs and Computations.pdf 2MB
  50. Set Theory/Set Theory and Model Theory.pdf 2MB
  51. Model Theory/Baldwin - Categoricity.pdf 2MB
  52. Recursion Theory/Hindley - Basic Simple Type Theory.pdf 2MB
  53. Proof Theory/Girard - Proofs and Types.pdf 843KB
  54. Miscellaneous/Isihara - Algorithmic Term Rewriting Systems.pdf 612KB
  55. Recursion Theory/Barendregt & Barendsen - Introduction to Lambda Calculus.pdf 542KB