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.

About the authors

V Kh Khakhanyan

Institute of economy and finances MSURC (MIIT)

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

References

Statistics

Views

Abstract - 1141

PDF (Russian) - 54

Cited-By



Copyright (c) 2016 Philosophy



This website uses cookies

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

About Cookies