RUDN Journal of Philosophy (Sep 2009)

Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

  • V Kh Khakhanyan

Journal volume & issue
Vol. 0, no. 3
pp. 71 – 79

Abstract

Read online

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.

Keywords