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 |
Externí odkaz: |