Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis
- Autores: Khakhanyan VK.1
-
Afiliações:
- Institute of economy and finances MSURC (MIIT)
- Edição: Nº 3 (2009)
- Páginas: 71-79
- Seção: Articles
- URL: https://journals.rcsi.science/2313-2302/article/view/345672
- ID: 345672
Citar
Resumo
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.
Palavras-chave
Sobre autores
V Khakhanyan
Institute of economy and finances MSURC (MIIT)Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)
Arquivos suplementares
