РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
-
Сорбция кофеина и теофиллина на сверхсшитом полистироле
-
КАРМАННАЯ ЭНЦИКЛОПЕДИЯ ИГР
-
Новейшие тенденции в совершенствовании правового регулирования земельно-имущественных отношений
-
V Белгородский строительный форум
-
THE REVIEW OF RELATIONS OF PRINCIPLES OF STRONG UNIFORMIZATION AND CHURCH THESIS IN INTUITIONISTIC SET THEORY
THE REVIEW OF RELATIONS OF PRINCIPLES OF STRONG UNIFORMIZATION AND CHURCH THESIS IN INTUITIONISTIC SET THEORY
We prove that the strong uniformization does not depend on Church thesis with choice in the set theory with intuitionistic logic and with axiom of extensionality.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: