books.txt

maxim@TRISTELLAR:/mnt/d/Books$ cat books.txt
.
├── Applied Mathematics
│   ├── Algebra
│   │   ├── Artin. Algebra. Second Edition.pdf
│   │   ├── Artin. Algebra.djvu
│   │   ├── Artin. Algebra.pdf
│   │   ├── Artin. Galois Theory.pdf
│   │   └── Serre. Topics in Galois Theory.pdf
│   ├── Calculus
│   │   ├── Abbott. Understanding Analysis.pdf
│   │   ├── Holmes. Introduction to the Foundations of Applied Mathemathics.pdf
│   │   └── Spivak. Calculus.pdf
│   ├── Continued Fractions
│   │   ├── Brezinski. History of Continued Fractions and Pade Approximantns.djvu
│   │   └── Wall. Analytic Theory of Continued Fractions.djvu
│   ├── Differential Equations
│   │   ├── Chorin, Marsden. A Mathematical Introduction to Fluid Mechanics.pdf
│   │   ├── Taylor. Partial Differential Equations 1. Basic Theory.pdf
│   │   └── Taylor. Partial Differential Equations 2. Qualitative Studies on Linear Equations.pdf
│   ├── Symbolic Comutations
│   │   ├── Bronstein. Symbolic Integration 1. Transcendental Functions.pdf
│   │   └── Quadrat, Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems.pdf
│   └── Topology
│       ├── Naber. Topology Geometry and Gauge Fields. Foundations.pdf
│       └── Naber. Topology Geometry and Gauge Fields. Interactions.pdf
├── Origins of Intuitionism
│   ├── Frege
│   │   └── Frege. Begriffsschrift.pdf
│   ├── Grothendieck
│   │   ├── Grothendieck Topoi.pdf
│   │   ├── Grothendieck. On the de Rham cohomology of algebraic varieties.pdf
│   │   ├── Grothiendieck. EGA 1.pdf
│   │   ├── Grothiendieck. EGA 2.pdf
│   │   ├── Grothiendieck. EGA 3.1.pdf
│   │   ├── Grothiendieck. EGA 3.2.pdf
│   │   ├── Grothiendieck. EGA 4.1.pdf
│   │   ├── Grothiendieck. EGA 4.2.pdf
│   │   ├── Grothiendieck. EGA 4.3.pdf
│   │   ├── Grothiendieck. EGA 4.4.pdf
│   │   ├── Grothiendieck. EGA 5.pdf
│   │   ├── Grothiendieck. FGA.pdf
│   │   ├── Grothiendieck. SGA 1.pdf
│   │   ├── Grothiendieck. SGA 2.pdf
│   │   ├── Grothiendieck. SGA 4.1.pdf
│   │   ├── Grothiendieck. SGA 4.2.pdf
│   │   ├── Grothiendieck. SGA 4.3.pdf
│   │   ├── Grothiendieck. SGA 4.5.pdf
│   │   ├── Grothiendieck. SGA 5.pdf
│   │   └── Гротендик. О некоторых вопросах гомологической алгебры.djvu
│   ├── Heyting
│   │   ├── Heyting. Intuitionism. An introduction.djvu
│   │   └── Heyting. Intuitionism.djvu
│   ├── Hilbert
│   │   ├── Hilbert, Ackermann. Principles of Mathematical Logic.djvu
│   │   ├── Гильберт, Аккерман. Основы теоретической логики.djvu
│   │   ├── Гильберт, Бернайс. Основания математики. Том 1.djvu
│   │   └── Гильберт, Бернайс. Основания математики. Том 2.djvu
│   ├── Kleene
│   │   ├── Клини, Весли. Основания интуиционистской математики, рекурсивные функции.djvu
│   │   ├── Клини. Введение в метаматематику.djvu
│   │   └── Клини. Математическая логика.djvu
│   ├── Russel
│   │   ├── Russell. Inroduction to Mathematical Philosophy.djvu
│   │   ├── Рассел. Основания Математики. Том 1.djvu
│   │   ├── Рассел. Основания Математики. Том 2.djvu
│   │   └── Рассел. Основания Математики. Том 3.djvu
│   └── Tarski
│       ├── Tarski. Introduction to logic and to the methodology of the deductive sciences.djvu
│       └── Tarski. Undecidable theories.djvu
├── Philosophy
│   ├── Aristotle
│   │   ├── 1. Метафизика, О душе.pdf
│   │   ├── 2. Органон.pdf
│   │   ├── 3. Физика, О небе, О возникновении, Метеорологика.pdf
│   │   └── 4. Этика, Политика, Поэтика.pdf
│   ├── Descartes
│   └── Poincaré
│       └── Пуанкаре. О науке.pdf
├── Pure Mathematics
│   ├── Algebraic Topology
│   │   ├── 0912.2110.pdf
│   │   ├── 1501.01999.pdf
│   │   ├── Alper. Guide to Stacks Literature.pdf
│   │   ├── Baez. Some Definitions Everyone Should Know.pdf
│   │   ├── Cohomology
│   │   │   ├── Arun Debray. Differential Cohomology.pdf
│   │   │   ├── Greub. Connections, Curvature, and Cohomology.pdf
│   │   │   ├── Hopkins. Complex Oriented Cohomology Theories and the Language of Stacks.pdf
│   │   │   ├── Kato. The Heart of Cohomology.pdf
│   │   │   ├── Madsen. From calculus to cohomology.djvu
│   │   │   └── Серр. Когомологии Галуа.djvu
│   │   ├── Du. Motivic Approach to Enumerating Vector Bundles.pdf
│   │   ├── Duff. The World in 11 Dimensions.pdf
│   │   ├── Gallauer. An introduction to six-functor formalisms.pdf
│   │   ├── Geraschenko. Stacks.pdf
│   │   ├── Gutiérrez. Algebraic Topology I. Homology 11.pdf
│   │   ├── Gutiérrez. Algebraic Topology II. K-Theory 8.pdf
│   │   ├── Homology
│   │   │   ├── Eilenberg. Homological Algebra.pdf
│   │   │   ├── Grothendieck. Sur quelques points d'algebre homologique.pdf
│   │   │   ├── Mac Lane. Homology.djvu
│   │   │   ├── Масси. Теория гомологий и комогологий.djvu
│   │   │   ├── Прасолов. Элементы теории гомологий.pdf
│   │   │   ├── Уайли. Теория гомологий. Введение в алгебраическую топологию.djvu
│   │   │   └── Эйленберг. Гомологическая алгебра.pdf
│   │   ├── Ivancevich. Undergraduate Lecture Notes in De Rham–Hodge Theory.pdf
│   │   ├── James. Handbook of Algebraic Topology.pdf
│   │   ├── Jardine. Stable Homotopy Theory of Simplicial Presheaves.pdf
│   │   ├── K-Theory
│   │   │   ├── Bass. Algebraic K-Theory.pdf
│   │   │   ├── Hovey. Morava K-Theories and Localisation.pdf
│   │   │   └── Stykow. Connections of K-Theory to Geometry and Topology.pdf
│   │   ├── Kishimoto. Postnikov Towers with Fibers Generalized Eilenberg-Mac Lane Spaces.pdf
│   │   ├── Oshima. Whitehead Products in Stiefel Manifolds and Samelson Products in Classical Groups.pdf
│   │   ├── Rognes. Spectral Sequences.pdf
│   │   ├── Stern. Notes on the Adams Spectral Sequence.pdf
│   │   ├── Voevodsky. A¹-Homotopy Theory of Schemes.pdf
│   │   ├── Voevodsky. A¹-Homotopy Theory.pdf
│   │   └── Yagunov. T-spectra and Poincare Duality.pdf
│   ├── Homotopy Theory
│   │   ├── Cavallo. Synthetic Cohomology in Homotopy Type Theory.pdf
│   │   ├── Cavallo. The Mayer-Vietoris Sequence in HoTT Slides.pdf
│   │   ├── Graham. An invitation to computational homotopy.pdf
│   │   ├── Jardine. Local Homotopy Theory.pdf
│   │   ├── Jardine. Motivic Symmetric Spectra.pdf
│   │   ├── Jardine. Simplicial Homotopy Theory.djvu
│   │   ├── Licata. Eilenberg-MacLane Spaces in Homotopy Type Theory.pdf
│   │   ├── Michael Hopkins. Spectra and stable homotopy theory.pdf
│   │   ├── Miller. Handbook of Homotopy Theory.pdf
│   │   ├── Mörtberg. Computing Cohomology Rings in Cubical Agda.pdf
│   │   ├── Mörtberg. Synthetic Integral Cohomology in Cubical Agda.pdf
│   │   ├── Quillen. Homotopical Algebra. 1967.djvu
│   │   ├── Suzuki. On the Eilenberg-MacLane invariants of loop spaces.pdf
│   │   ├── Synthetic Stable Homotopy Theory.pdf
│   │   ├── Van der Berg. W-types in Homotopy Type Theory.pdf
│   │   ├── Van der Weide. Certifying Higher-Order Polynomial Interpretations.pdf
│   │   ├── Van der Weide. Constructing Higher Inductive Types as Groupoid Quotients.pdf
│   │   ├── Van der Weide. Constructing Higher Inductive Types.pdf
│   │   ├── Van der Weide. The Three-HITs Theorem.pdf
│   │   ├── Voevodsky, Awodey et all. Homotopy Type Theory.pdf
│   │   └── Warren. Homotopy Theoretic Aspects of Constructive.pdf
│   ├── M-Theory
│   │   ├── Aguilar. Cohomology and Spectral Sequences in Gauge Theory.pdf
│   │   ├── Belopolsky. De Rham Cohomology of the Supermanifolds and Superstring BRST Cohomology.pdf
│   │   ├── Davis. Supersymmetry and the Hopf fibration.pdf
│   │   ├── George. Yau's proof of the Calabi Conjecture.pdf
│   │   ├── Grassi. Cohomology of Lie Superalgebras. Forms, Pseudoforms, and Integral Forms.pdf
│   │   ├── He. The Calabi-Yau Landscape.pdf
│   │   ├── Kac. Lie Superalgebras.pdf
│   │   ├── Matessi. Čech and de Rham Cohomology of Integral Forms.pdf
│   │   ├── O'Farrill. BRST Cohomology.pdf
│   │   ├── Schreiber. Higher Structures in M-Theory.pdf
│   │   ├── Schreiber. M-Theory from Superpoint.pdf
│   │   └── Wadhwa. On Calabi-Yau supermanifolds.pdf
│   └── Topos Theory
│       ├── Caprioti. Type Theory through Comprehension Categories.pdf
│       ├── Goldblatt. Topoi. The Categorial Analysis of Logic.pdf
│       ├── Grothendieck. Pursuing Stacks.pdf
│       ├── Johnstone. Sketches of an Elephant. A Topos Theory Compendium.djvu
│       ├── Kock, Wraith. Lectures on Elementary Topoi.pdf
│       ├── Mac Lane. Categories for the Working Mathematician.pdf
│       ├── Mac Lane. Sheaves in Geometry and Logic.pdf
│       ├── Moerdijk. Classifying Spaces and Classifying Topoi.djvu
│       └── Riehl, Verity. Elements of ∞-Category Theory.pdf
├── Religion
│   └── Tibetan Buddhism
│       ├── Anspal. Tibetan formulations of the Dzogchen Longde.pdf
│       ├── Jigme Lingpa
│       │   ├── Akanistha.pdf
│       │   ├── Yeshe Lama.pdf
│       │   └── Yumka Dechen Gyalmo.pdf
│       ├── Longchen Rabjam
│       │   ├── Longchenpa. A Treasure Trove of Scriptural Transmission.pdf
│       │   ├── Longchenpa. Dharmadhatu.doc
│       │   ├── Longchenpa. Old Man Basking in the Sun.pdf
│       │   ├── Longchenpa. Precious Treasury of Pith Instructions.pdf
│       │   ├── Longchenpa. Precious Treasury of the Way of Abiding.pdf
│       │   └── The Guhyagarbha Tantra.pdf
│       ├── Mipham Rinpoche
│       │   ├── Mipham Rinpoche. Gateway to Knowledge Vol. I.pdf
│       │   ├── Mipham Rinpoche. Gateway to Knowledge Vol. II.pdf
│       │   ├── Mipham Rinpoche. Luminous Essence A Guide to the Guhyagarbha Tantra.pdf
│       │   ├── Shantarakshita. The Adornment of the Middle Way.pdf
│       │   └── Міпам Рінпоче. Взаємозалежне виникнення.doc
│       ├── Norbu. Supreme Source.pdf
│       ├── Patrul Rinpoche
│       │   ├── A Brief Guide to the Stages and Paths of the Bodhisattvas.odt
│       │   ├── A Brief Introduction to the Bardos (Tibetan).odt
│       │   ├── A Brief Introduction to the Bardos.odt
│       │   ├── An Essential Instruction on Refuge and Bodhichitta (Tibetan).odt
│       │   ├── An Essential Instruction on Refuge and Bodhichitta.odt
│       │   ├── Brief Guide to the Stages of Visualization for the Ngöndro Practice (Tibetan).odt
│       │   ├── Brief Guide to the Stages of Visualization for the Ngöndro Practice.odt
│       │   ├── Kunsang Lamey Shalung.doc
│       │   ├── Kunsang Lamey Shalung.pdf
│       │   ├── Many aeons ago.odt
│       │   ├── Maratika Cave.doc
│       │   ├── Patrul Rinpoche - KLZ I - Edited.pdf
│       │   ├── Patrul Rinpoche - KLZ II - Edited.pdf
│       │   ├── Patrul Rinpoche - Words Of My Perfect Teacher.pdf
│       │   ├── Prayer to the Lineage of the Bodhicharyavatara.odt
│       │   ├── Preliminary Points (Tibetan).odt
│       │   ├── Preliminary Points.odt
│       │   ├── The Brightly Shining Sun (Tibetan).odt
│       │   ├── The Brightly Shining Sun.odt
│       │   ├── The Ritual of the Bodhisattva Vow.odt
│       │   ├── The Sword of Wisdom (Tibetan).odt
│       │   ├── The Sword of Wisdom.odt
│       │   ├── The Two Truths.odt
│       │   ├── klmzhalung.zip
│       │   ├── Кхенпо Нгаванг Пелзанг. Комментарий к Словам моего всеблагого учителя.pdf
│       │   ├── Патрул Ринпоче. Мой совет самому себе.doc
│       │   ├── Патрул Ринпоче. Слова моего всеблагого учителя.pdf
│       │   └── Совет Кунсанг Чогьялу.pdf
│       └── Yeshe Tsogyal
│           ├── Dowman. Sky dancer.pdf
│           └── Yeshe Tsogyal. The Lotus Born.pdf
├── Theoretical Computer Science
│   ├── Dependent Type Theory
│   │   ├── Asai. Logic of computational semi-effects and categorical gluing for equivariant functors.pdf
│   │   ├── Basold. Higher Inductive Types in Programming.pdf
│   │   ├── Buisse, Dybjer. The Interpretation of Intuitionistic Type Theory.pdf
│   │   ├── Coquand. Preshead model of Type Theory.pdf
│   │   ├── Hermida, Jacobs. Structural Induction and Coinduction in a Fibrational Setting.pdf
│   │   ├── Hofmann. Conservativity of Equality Reflection over Intensional Type Theory.pdf
│   │   ├── Jacobs. Categorical Logic and Type Theory.djvu
│   │   ├── Klev. Eta-Rules in MLTT.pdf
│   │   ├── Laouar. A presheaf model of dependent type theory.pdf
│   │   ├── Makkai, Reyes. First Order Categorical Logic.pdf
│   │   ├── Martin-Lof. Intuitionistic Type Theory.pdf
│   │   ├── Meijer. Henk. A Typed Intermediate Language.pdf
│   │   └── Palmgren. On Universes in Type Theory.pdf
│   ├── Formal Languages
│   │   ├── APL
│   │   │   └── Ivory. Notation as a tool of thought.pdf
│   │   ├── AUTOMATH
│   │   ├── LISP
│   │   │   ├── Krishnamurthi. How to Design Programs.pdf
│   │   │   └── McCarthy. A Basis for a Mathematical Theory of Computation.pdf
│   │   ├── ML
│   │   ├── MLTT
│   │   └── Smalltalk-80
│   │       ├── Blue Book.pdf
│   │       ├── Green Book.pdf
│   │       └── Orange Book.pdf
│   ├── General
│   ├── Logic
│   │   ├── Girard, Lafont, Regnier. Advances in Linear Logic.djvu
│   │   ├── Girard. The Blind Spot. Lectures on logic.pdf
│   │   ├── Haridi. Concepts, Techniques and Models of Computer Programming.pdf
│   │   ├── Hofmann. Extensional Concepts in Intensional Type Theory.pdf
│   │   ├── Krishnamurthi. Practical Aspects of Declarative Languages.pdf
│   │   ├── Makkai. Fibrational formulation of intuitionistic predicate logic 1, I.djvu
│   │   ├── Makkai. Fibrational formulation of intuitionistic predicate logic 1, II.djvu
│   │   ├── Raynal. Concurrent Programming Algorithms Principles and Foundations.pdf
│   │   ├── Troelstra. History of Constructivism.pdf
│   │   ├── Vandalen. Logic and Structure.pdf
│   │   └── Черч. Введение в математическую логику.pdf
│   └── Number Theory
│       └── Відкриті ключі та підпис
│           ├── Додаток А.pdf
│           ├── Зміст.pdf
│           ├── Перелік джерел.pdf
│           ├── Розділ 1. ЕЦП та його застосування.pdf
│           ├── Розділ 10. Вимоги до засобів КЗІ та управління ключами в перспективних ІВК.pdf
│           ├── Розділ 11. Особливості проектування та застосування засобів КЗІ в національній системі ЕЦП.pdf
│           ├── Розділ 12. Основні положення реалізації перспективної політики сертифікації X.509.pdf
│           ├── Розділ 13. Проблемні питання та напрями розвитку інфраструктур з відкритими ключами.pdf
│           ├── Розділ 2. Сутність та основи застосування ЕЦП.pdf
│           ├── Розділ 3. Методи оцінки та дослідження властивостей ЕЦП з додатком у групі точок ЕК.pdf
│           ├── Розділ 4. Аналіз властивостей та областей застосування цифрових підписів із відновленням повідомлення.pdf
│           ├── Розділ 5. Функції гешування. Сутність перетворень, застосування та напрями розвитку.pdf
│           ├── Розділ 6. Криптографічні протоколи автентифікації та встановлення влючів на основі ЕЦП.pdf
│           ├── Розділ 7. Стан створення та застосування інфраструктур з відкритими ключами.pdf
│           ├── Розділ 8. Інфраструктури відкритих ключів та сертифікації атрибутів розвинених держав.pdf
│           ├── Розділ 9. Система ЕЦП України та її застосування.pdf
│           └── Титульні сторінки.pdf
└── books.txt

47 directories, 230 files