Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis
- Авторлар: Khakhanyan VK.1
-
Мекемелер:
- Institute of economy and finances MSURC (MIIT)
- Шығарылым: № 3 (2009)
- Беттер: 71-79
- Бөлім: Articles
- URL: https://journals.rcsi.science/2313-2302/article/view/345672
- ID: 345672
Дәйексөз келтіру
Аннотация
In the article there is a review of investigations on intuitionistic formal theories of mathematical analysis. All main results and models, obtained at the end of 60-s, 70-s and at the beginning of 80-s of XX c. are given.
Негізгі сөздер
Авторлар туралы
V Khakhanyan
Institute of economy and finances MSURC (MIIT)Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)
Қосымша файлдар
