Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Cover Page

Cite item


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.

About the authors

V Kh Khakhanyan

Institute of economy and finances MSURC (MIIT)

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


Copyright (c) 2016 Philosophy

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies