2022-03-15 Бібліотека Групоїд Інфініті

Бібліотека Групоїд Інфініті

1. Прикладна математика
2. Філософія
3. Логіка та Витоки інтуіціонізму
4. Теоретична інформатика
5. Чиста математика
6. Формальна Філософія

Прикладна математика

Алгебра

Artin. Algebra. 2010

Серр. Когомологии Галуа. 1964

Artin. Algebra. 1991

Artin. Galois Theory. 1964

Serre. Topics in Galois Theory. 1992

Аналіз

Abbott. Understanding Analysis. 2000

Spivak. Calculus. 1967

Ланцюжкові дроби

Brezinski. History of Continued Fractions and Pade Approximantns. 1991

Wall. Analytic Theory of Continued Fractions. 1948

Диференціальні рівняння

Chorin, Marsden. A Mathematical Introduction to Fluid Mechanics. 1992

Taylor. Partial Differential Equations 1. Basic Theory. 1996

Taylor. Partial Differential Equations 2. Qualitative Studies on Linear Equations

Символьні обчислення

Bronstein. Symbolic Integration 1. Transcendental Functions. 2005

Quadrat, Zerz. Algebraic and Symbolic Computation Methods. 2020

Топологія

Naber. Topology Geometry and Gauge Fields. Foundations. 2010

Naber. Topology Geometry and Gauge Fields. Interactions. 2010

Прикладна математика

Holmes. Introduction to the Foundations of Applied Mathemathics. 2009

Філософія

Арістотель

1. Метафизика, О душе

2. Органон

3. Физика, О небе, О возникновении, Метеорологика

4. Этика, Политика, Поэтика

Пуанкаре

Пуанкаре. О науке. 1983

Логіка та Витоки інтуіціонізму

Чорч

Фреге

Frege. Begriffsschrift. 1879

Гейтінг

Heyting. Intuitionism. 1971

Heyting. Intuitionism. An introduction. 1956

Гільберт

Hilbert, Ackermann. Principles of Mathematical Logic. 1950

Гильберт, Аккерман. Основы теоретической логики. 1947

Гильберт, Бернайс. Основания математики. Том 1. 1979

Гильберт, Бернайс. Основания математики. Том 2. 1982

Кліні

Клини. Основания интуиционистской математики, рекурсивные функции. 1978

Клини. Введение в метаматематику. 1957

Клини. Математическая логика. 1973

Рассел

Russell. Inroduction to Mathematical Philosophy. 1920

Рассел. Основания Математики. Том 1. 1935

Рассел. Основания Математики. Том 2. 1935

Рассел. Основания Математики. Том 3. 1935

Тарський

Tarski. Introduction to logic and to the methodology of the deductive sciences

Tarski. Undecidable theories. 1971

Теоретична інформатика

Логіка

Girard, Lafont, Regnier. Advances in Linear Logic. 1995

Jacobs. Categorical Logic and Type Theory. 1999

Makkai. Fibrational formulation of intuitionistic predicate logic 1, part 1. 1993

Makkai. Fibrational formulation of intuitionistic predicate logic 1, part 2. 1993

Girard. The Blind Spot. Lectures on logic. 2011

Hermida, Jacobs. Structural Induction and Coinduction in a Fibrational Setting

Hofmann. Extensional Concepts in Intensional Type Theory. 1995

Klev. Eta-Rules in MLTT. 2019

Makkai, Reyes. First Order Categorical Logic. 1977

Vandalen. Logic and Structure. 1994

Черч. Введение в математическую логику. 1956

Теорія залежних типів

Laouar. A presheaf model of dependent type theory. 2017

Palmgren. On Universes in Type Theory. 1998

Coquand. Preshead model of Type Theory. 2017

Buisse, Dybjer. The Interpretation of Intuitionistic Type Theory. 2008

Martin-Lof. Intuitionistic Type Theory. 1980

Meijer. Henk. A Typed Intermediate Language. 1997

Hofmann. Conservativity of Equality Reflection over Intensional Type Theory. 1996

Nishiwaki, Asai. Logic of computational semi-effects. 2020

Чиста математика

Теорія категорій

Caprioti. Type Theory through Comprehension Categories. 2013

Mac Lane. Categories for the Working Mathematician. 1969

Riehl, Verity. Elements of ∞-Category Theory. 2022

Теорія гомотопій

Jardine. Simplicial Homotopy Theory. 1999

Quillen. Homotopical Algebra. 1967

Jardine. Local Homotopy Theory. 2015

Voevodsky, Awodey et all. Homotopy Type Theory. 2013

Warren. Homotopy Theoretic Aspects of Constructive. 2008

Теорія топосів

Johnstone. Sketches of an Elephant. A Topos Theory Compendium. 2002

Moerdijk. Classifying Spaces and Classifying Topoi. 1995

Алгебраїчна топологія

Mac Lane. Homology. 1975

Масси. Теория гомологий и комогологий. 1981

Уайли С. Теория гомологий. Введение в алгебраическую топологию. 1966

Alper. Guide to Stacks Literature. 2009

Anton Geraschenko. Stacks. 2007

Grothendieck. Sur quelques points d'algebre homologique. 1957

Kato. The Heart of Cohomology. 2006

Картан, Эйленберг. Гомологическая алгебра. 1960

Сartan, Eilenberg. Homological Algebra. 1956

Гротендік

Grothendieck Topoi

Grothendieck. On the de Rham cohomology of algebraic varieties. 1966

Grothiendieck. EGA 1 , EGA 2

Grothiendieck. EGA 3.1 , EGA 3.2

Grothiendieck. EGA 4.1 , EGA 4.2 , EGA 4.3 , EGA 4.4

Grothiendieck. EGA 5

Grothiendieck. FGA

Grothiendieck. SGA 1 , SGA 2

Grothiendieck. SGA 4.1 , SGA 4.2 , SGA 4.3 , SGA 4.5

Grothiendieck. SGA 5

Гротендик. О некоторых вопросах гомологической алгебры. 1957

Формальна Філософія

Барендрехт

Barendregt. Axiomatizing consciousness

Barendregt. Gems of Corrado Böhm

Barendregt. The Two Arrows of Pain

Като

Kato. A Sheaf Theoretic Approach to Consciousness

Kato. Category Theory and Consciousness

Kato. Category Theory as the Language of Consciousness

Kato. Double-Slit Interference and Temporal Topos

Kato. Elemental principles of t-topos

Kato. Microcosm to Macrocosm Via the Notion of a Sheaf

Kato. On the Notion of Precohomology

Kato. Presheafification of Matter, Space, and Time

Kato. Sheaf Cohomology and Geometrical Approach to EPR Non-locality

Kato. Sheaf Cohomology of Conscious Entity

Kato. Sheaf Theoretic Formulation of Entanglement

Kato. Temporal Topos and U-Singularities

Kato. Toward a descent theoretic formulation for organization and emergence

Kato. Urcohomologies and Cohomologies of N-Complexes

Kato. u-Singularity and t-Topos Theoretic Entropy

Kato. A p-Adic Cohomological Method for the Weierstrass Family and Its Zetas