CategoryBooks-1-20090708


File Information

File Size:   342.22 MB
Creat Time:   2015-07-29
Active Degree:   23
Last Active:   2024-10-16
Magnet Link:    Magnet LinkMagnet Link
Tags:    CategoryBooks-1-20090708
Statement:   This site does not provide download links, only text displays, and does not contain any infringement.

File List

  1. Abstract Algebra/Groups/Representations/Фейт. Теорипредставлениконечных групп.pdf 39.36 MB
  2. Categorical Logic/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf 32.67 MB
  3. Categorical Logic/Jacobs B. Categorical Logic and Type Theory.pdf 31.45 MB
  4. Abstract Algebra/Modules/Пирс. Ассоциативные алгебры.pdf 24.37 MB
  5. Categorical Logic/Toposes/Johnstone P.T. Topos Theory.djvu 22.36 MB
  6. Abstract Algebra/Dummit D.S., Foote R.M. Abstract algebra.djvu 14.59 MB
  7. Abstract Algebra/Groups/Representations/Fulton W., Harris J. Representation theory. A first course .djvu 10.16 MB
  8. Categorical Logic/Toposes/Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu 8.79 MB
  9. Abstract Algebra/Groups/Bechtell. The Theory of Groups.djvu 6.50 MB
  10. Abstract Algebra/Groups/Representations/Виленкин. Специальные функции и теорипредставлений групп.djvu 5.77 MB
  11. Categorical Logic/Toposes/Голдблатт. Топосы, категорийный анализ логики.djvu 5.72 MB
  12. Categorical Logic/Type Theory/Seely R.A.G. Locally cartesian closed categories and type theory.pdf 5.50 MB
  13. Category Theory/Pierce B.C. Basic category theory for computer scientists.djvu 5.43 MB
  14. Abstract Algebra/Groups/Холл. Теоригрупп.djvu 5.41 MB
  15. Abstract Algebra/Modules/Lam T.Y. A First Course in Noncommutative Rings.djvu 5.31 MB
  16. Abstract Algebra/Modules/Anderson F.W., Fuller K.R. Rings and categories of modules.djvu 4.88 MB
  17. Categorical Logic/Toposes/Saunders Mac Lane. Sheaves in Geometry and Logic.djvu 4.61 MB
  18. Abstract Algebra/Groups/Representations/Ленг. SL2(R).djvu 4.47 MB
  19. Abstract Algebra/Artin M. Algebra.djvu 4.28 MB
  20. Category Theory/Adamek, Herrlich, Strecker. The Joy of Cats.pdf 4.13 MB
  21. Categorical Logic/Toposes/Джонстон. ТеориТопосов.djvu 4.08 MB
  22. Abstract Algebra/Groups/Representations/Кириллов. Элементы теории представлений.djvu 4.02 MB
  23. Abstract Algebra/Картан, Эйленберг. ГомологическаАлгебра.djvu 4.01 MB
  24. Abstract Algebra/Groups/Polites. An Introduction to the Group Theory.djvu 3.93 MB
  25. Category Theory/Saunders Mac Lane. Categories for Working Mathematician.djvu 3.86 MB
  26. Abstract Algebra/Groups/Representations/Кириллов. Лекции по методу орбит.djvu 3.05 MB
  27. Categorical Logic/Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf 2.77 MB
  28. Category Theory/Маклейн. Категории длработающего математика.djvu 2.74 MB
  29. Meta Languages/Erlang/Pragmatic.Programming.Erlang.Jul.2007.pdf 2.66 MB
  30. Abstract Algebra/Groups/Representations/Fulton. Young tableau, representation theory and geometry (.djvu 2.29 MB
  31. Meta Languages/CAML/Hickey J. Introduction to Objective Caml.pdf 2.23 MB
  32. Abstract Algebra/Groups/Representations/Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu 2.17 MB
  33. Category Theory/М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu 2.09 MB
  34. Categorical Logic/CAM/Вольфенгаген. Комбинаторналогика в программировании.pdf 1.95 MB
  35. Abstract Algebra/Groups/Дужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu 1.94 MB
  36. Meta Languages/CAML/Leroy X. The Objective Caml System 3.11.pdf 1.86 MB
  37. Abstract Algebra/Groups/Representations/Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu 1.73 MB
  38. Categorical Logic/Type Theory/Asperti A., Longo G. Categories Types and Structures.pdf 1.60 MB
  39. Categorical Logic/Type Theory/Kock J. Notes on Polynomial Functors.pdf 1.33 MB
  40. Category Theory/Barr, Wells. Toposes, Triples and Theories.pdf 1.27 MB
  41. Categorical Logic/CAM/Wolfengagen. Frame Theory and Computations.pdf 1.22 MB
  42. Abstract Algebra/Groups/Representations/Серр. Линейные представлениконечных групп.djvu 1.22 MB
  43. Abstract Algebra/Groups/Representations/Хеннан. Представленигрупп и прикладнатеоривероностей.djvu 1.19 MB
  44. Category Theory/Barr, Wells. Category Theory.pdf 1.18 MB
  45. Category Theory/Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf 1.17 MB
  46. Category Theory/Barr. Models of sketches.pdf 1.14 MB
  47. Meta Languages/CAML/Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf 1.13 MB
  48. Categorical Logic/Toposes/Pitts A.M. On product and change of base for toposes.pdf 1.08 MB
  49. Meta Languages/ML/Harper R. Programming in Standard ML.pdf 948 KB
  50. Categorical Logic/Type Theory/Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf 947 KB

© 2014 - 2024  FindBt  

Sitemap   Tags   New   List   Actor