РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
-
Практико-ориентированная направленность образовательного процесса на формирование учебной самостоятельности будущих экономистов в ходе обучения иностранному языку
-
6 июня 2014 года состоялась первая Международная конференция лидеров российской Интернет-торговли e-Days e-Commerce Conference
-
ТРАНСФОРМАЦИЯ ПОВОЗРАСТНОЙ РОЖДАЕМОСТИ В ПРИМОРСКОМ КРАЕ
-
Состояние перекисного окисления липидов и уровень свободных жирных кислот у пациентов с сахарным диабетом 2 типа при проведении инсулинотерапии и интенсивного гликемического контроля в остром периоде инфаркта миокарда
-
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.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: