Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Cover Page

Abstract


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 Kh Khakhanyan

Institute of economy and finances MSURC (MIIT)

Кафедра прикладной математики-2; Институт экономики и финансов МГУПС (МИИТа); Institute of economy and finances MSURC (MIIT)

References in Roman alphabet are in a PDF file of the article

Views

Abstract - 4

PDF (Russian) - 0


Copyright (c) 2016 Philosophy