References

Additional sources and materials

1. Markov A. A. O konstruktivnoj matematike // Tr. Matematicheskogo in-ta AN SSSR im. V. L. Steklova. T. 67. M.; L., 1962. S. 8—14.

2. Markov A. A. Kommentarij redaktora perevoda // Gejting L. Intuitsionizm / Per. s angl. M., 1965.

3. Markov A. A. O logike konstruktivnoj matematiki. M., 1972.

4. Markov A. A. Konstruktivnaya matematika. BSEh. 3-e izd. T. 13. M., 1973. S. 148—151.

5. Markov A. A. Konstruktivnoe napravlenie v matematike // Tam zhe. S. 151—152.

6. Markov A. A., Nagornyj N. M. Teoriya algoritmov. M., 1984.

7. Kushner B. A. Lektsii po konstruktivnomu matematicheskomu analizu. M., 1973.

8. Kushner B. A. Konstruktivnaya matematika // Matematicheskaya ehntsiklopediya. T. 2. M., 1979. S. 1051 —1053.

9. Bishop E. Mathematics as a 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. Uspenskij V. A. Sem' razmyshlenij na temy filosofii matematiki // Zakonomernosti razvitiya sovremennoj matematiki. M., 1987. S. 106—155.

15. Troelstra A., van Dalen D. Constructivism in mathematics. An introduction. V. I—2. Amsterdam; New York; Oxford; Tokyo: Norlh-Holland, 1988.

16. Kushner B. A. Printsip bar-induktsii i teoriya kontinuuma u Brauehra // 3akonomernosti razvitiya sovremennoj matematiki. M., 1987. S. 230—250.