Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Cover Page

Cite item

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.

About the authors

V Kh Khakhanyan

Institute of economy and finances MSURC (MIIT)

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

References


Copyright (c) 2009 Khakhanyan V.K.

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

This website uses cookies

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

About Cookies