Appearance and Development of Formal Intuitionistic Theories of Mathematical Analysis

Autor: V Kh Khakhanyan
Jazyk: German<br />English<br />French<br />Russian
Rok vydání: 2009
Předmět:
Zdroj: RUDN Journal of Philosophy, Vol 0, Iss 3, Pp 71-79 (2009)
Druh dokumentu: article
ISSN: 2313-2302
2408-8900
Popis: 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.
Databáze: Directory of Open Access Journals