Библиография

Дополнительные библиографические источники и материалы

1. Марков А. А. О конструктивной математике // Тр. Математического ин-та АН СССР им. В. Л. Стеклова. Т. 67. М.; Л., 1962. С. 8—14.
2. Марков А. А. Комментарий редактора перевода // Гейтинг Л. Интуиционизм / Пер. с англ. М., 1965.
3. Марков А. А. О логике конструктивной математики. М., 1972.
4. Марков А. А. Конструктивная математика. БСЭ. 3-е изд. Т. 13. М., 1973. С. 148—151.
5. Марков А. А. Конструктивное направление в математике // Там же. С. 151—152.
6. Марков А. А., Нагорный Н. М. Теория алгоритмов. М., 1984.
7. Кушнер Б. А. Лекции по конструктивному математическому анализу. М., 1973.
8. Кушнер Б. А. Конструктивная математика // Математическая энциклопедия. Т. 2. М., 1979. С. 1051 —1053.
9. Bishop Е. Mathematics as а numerical languagc // lntuitionism and proof theory. Amsterdam: North-Holland, 1970. P. 53—71.
10. Bishop E., Bridges D. Constructive analysis. Berlin; Heidelberg; New York; Tokyo, 1985.
11. Bishop E. Foundations of constructive analysis. N. Y.; McGraw-Hill, 1967.
12. Bishop E. Schizophrenia in contemporary mathemalics // Erett Bishop: reflections on him and his research / Ed. Rosenblatt M. Amer. Math. Soc. Contemporary mathematics. V. 36. Providence: Rhode Island, 1984.
13. Errett Bishop: reflections on him and his research / Ed. Rosenblatt M. Amer. Math. Soc. Contemporary mathematics. V. 39. Providence: Rhode Island, i984.
14. Успенский В. A. Семь размышлений на темы философии математики // Закономерности развития современной математики. М., 1987. С. 106—155.
15. Troelstra А., van Dalen D. Constructivism in mathematics. An introduction. V. I—2. Amsterdam; New York; Oxford; Tokyo: Norlh-Holland, 1988.
16. Кушнер Б. A. Принцип бар-индукции и теория континуума у Брауэра // 3акономерности развития современной математики. М., 1987. С. 230—250.