Перейти к основному содержанию
Боковая панель
DL 1
В начало
Календарь
More
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Вы используете гостевой доступ
Вход
DL 1
В начало
Календарь
Развернуть всё
Свернуть всё
Open course index
Historie moderni matematiky a logiky
Общее
Общее
Section outline
►
Non-ecludian geometries
Select section Общее
Перейти на...
Главная страница курса
Общее
Non-ecludian geometries
Decidability of real closed fields (RCF)
First order or second order? Tarsky or geometry?
Independence results for set theory: forcing
Dedekind and the continuity of the real line
Peano and arithmetics
A step back: an excluded middle?
Formalization of logic: from high hopes to limitations
Non-classical logics (many-valued, modal, substructural...)
Many-valued logics
Modal logics
Substructural logics
Non-monotonic logic
Cateogory theory and Homotopy type theory
Model theory and logical dreams
►
Non-ecludian geometries