Asmus, Valentin F. [1963], Problema intuicii v filosofii i matematike [The problem of intuition in philosophy of mathematics], 2-e izdanie, [in Russian], URL http://psylib.ukrweb.net/books/asmus01/index.htm.

Church, Alonso [1936], A note on the Entscheidungsproblem, *Journal of Symbolic Logic*, 1, 101–102.

Demidov, Sergeǐ S. [1993], The Moscow school of the theory of functions in the 1930’s, in: *Golden Years of Moscow Mathematics*, edited by S. Zdravkovska & P. L. Duren, Providence: American Mathematical Society, *History of Mathematics*, vol. 8, 35–54.

—— [1999], Stil’ i myshlenie: eshhe raz o konfrontacii dvuh stolic [Style and thinking: once again about the confrontation between the two capitals], in: *Stili v matematike: sociokul’turnaja filosofija matematiki*, edited by A. G. Barabashev, Saint Petersburg: RChGI, 413–421, [in Russian].

Demidov, Sergeǐ S. & Levshin, Boris V. [1999], *Delo akademika Nikolaya Nikolaevicha Luzina. [The case of Academician Nikolai Nikolaevich Luzin]*, Saint Petersburg: Russkii Khristianskii Gumanitarnyi Institut, [in Russian], URL www.ihst.ru/projects/sohist/books/luzin.pdf.

Heyting, Arend [1936], *Obzor issledovanij po osnovanijam matematiki*, Translated by A.P. Yushkevich. Forward by A.N. Kolmogorov. Moscow-Leningrad: ONTI NKTP SSSR, [in Russian]. German original: *Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie*, Berlin: J. Springer, 1934.

—— [1956], *Intuitionism. An introduction*, Amsterdam: North-Holland, 2nd revised edn., 1966; 3rd revised edn., 1971. Russian translation by V.A. Yankov and edited by Andreǐ A. Markov from the first edition: Moscow: Mir, 1965.

—— [1962], After thirty years, in: *Logic, Methodology and Philosophy of Science, Proceedings of 1960 International Congress*, 194–197.

—— [1969], Wat is berekenbaar?, *Nieuw Archiv van Wiskunde*, 17(1), 5–6.

Khinchin, Aleksandr Ja. [1926], Idei intuicionizma i spor o predmete sovremennoj matematiki, [The ideas of intuitionism and the dispute on the subject of modern mathematics], *Vestnik kommunisticheskoj akademii*, 16, 184–192, [in Russian].

Kolmogorov, Andreǐ N. [1925], O principe tertium non datur, *Matematicheskij sbornik*, 32, 646–667, [in Russian]. English translation: On the principle tertium non datur, in van Heijennort, J. (ed.) *From Frege to Gödel, A Source Book in Mathematical Logic*, 1879-1931, Harvard University Press, 1967. Reprinted in [Nikol'skij 1985, 45–68], URL www.mathnet.ru/links/ffe370e498d5a44fddaf9ee09d0b27c8/sm7425.pdf.

—— [1932], Zur Deutung der intuitionistischen Logik, *Mathematische Zeitschrift*, 35(1), 58–65, doi:10.1007/BF01186549.

Kushner, Boris A. [1973], *Lekcii po konstruktivnomu matematicheskomu analizu*, Moscow: Izdatel’stvo “Nauka”, [in Russian]. English translation by E. Mendelson *Lectures on Constructive Mathematical Analysis*, Providence: American Mathematical Society, 1984.

Markov, Andreǐ A. [1954a], O nepreryvnosti konstruktivnyh funkcij [On the continuity of constructive functions], *Uspehi matematicheskih nauk*, 9(3), 226–229, [in Russian].

—— [1954b], Teorija algorifmov [Theory of algorithms], *Trudy matematicheskogo instituta im. V.A. Steklova*, 42, 3–315, [in Russian], URL www.mathnet.ru/links/13a476d238e313f7a66ec80f1a961123/tm1178.pdf.

—— [1956], Ob odnom principe konstruktivnoj matematicheskoj logiki [On a constructive principle of mathematical logic], *Trudy tret’ego Vsesojuznogo matematicheskogo s”ezda*, 2, 146–147, [in Russian].

—— [1958], O konstruktivnyh funkcijah [On constructive functions], *Trudy matematicheskogo institua im. V.A. Steklova*, 52, 315–348, [in Russian], URL www.mathnet.ru/links/b2dc4d7cdef827fa07f160497a2a6a78/tm1320.pdf.

—— [1962], O konstruktivnoj matematike [On constructive mathematics], *Trudy matematicheskogo institua im. V.A. Steklova*, 67, 8–14, [in Russian], URL www.mathnet.ru/links/80837f80d53ef16c770dd46a2757389c/tm1756.pdf.

—— [1974a], O jazyke Я_{0} [On language Я_{0}], *Doklady Akademii Nauk SSSR*, 214(1), 40–43, [in Russian].

—— [1974b], O jazyke Я_{1} [On language Я_{1}], *Doklady Akademii Nauk SSSR*, 214(2), 279–282, [in Russian].

—— [1974c], O jazyke Я_{2} [On language Я_{2}], *Doklady Akademii Nauk SSSR*, 214(3), 513–516, [in Russian].

—— [1974d], O jazyke Я_{3} [On language Я_{3}], *Doklady Akademii Nauk SSSR*, 214(4), 765–768, [in Russian].

—— [1974e], O jazyke Я_{4}, Я_{5}… [On language Я_{4}, Я_{5}…], *Doklady Akademii Nauk SSSR*, 214(5), 1031–1034, [in Russian].

—— [1974f], O jazyke Я_{ω} [On language Я_{ω}], *Doklady Akademii Nauk SSSR*, 214(1–6), 1262–1264, [in Russian].

—— [1974g], O jazyke Я_{ω}_{|} [On language _{ω}_{|}], *Doklady Akademii Nauk SSSR*, 215(1), 57–60, [in Russian].

—— [1987], Chto takoe konstruktivnaja matematika? (Vvedenie, Publikacija i predislovie N.M. Nagornogo) [What is constructive mathematics? (Introduction, Publication and preface by N.M. Nagorny)], in: *Zakonomernosti razvitija sovremennoj matematiki*, edited by M. I. Panov, Moscow: Nauka, 209–212, [in Russian].

Markov, Andreǐ A. & Nagornyǐ, Nikolaǐ M. [1984], *Teorija algorifmov*, Moscow: Nauka, [in Russian]. English translation by Greendlinger, M., *The Theory of Algorithms*, Dordrecht; Boston: Kluwer, 2010.

Molodshiǐ, Vladimir N. [1938], *Effektivizm v matematike [Effectivism in mathematics]*, Moscow: Gos. sotsial’no-ėkonomicheskoe izd-vo, [in Russian].

Nikol’skij, S. M. [1985], *A.N. Kolmogorov. Izbrannye trudy. Tom I: Matematika i mehanika*, Moscow: Nauka, [in Russian]. English translation: Selected Works of A.N. Kolmogorov, vol. I: Mathematics and mechanics, Dordrecht: Kluwer, 1991.

Olszewski, Adam, Woleński, Jan, & Janusz, Robert (eds.) [2006], *Church’s Thesis After 70 Years*, Heusenstamm: Ontos Verlag.

Weyl, Hermann [1934], *O filosofii matematiki*, Moscow; Leningrad: Gostekhteorizdat, [in Russian]. Reprinted 2005. German original: *Philosophie der Mathematik und Naturwissenschaft*, 1927. 2nd edn., 1949. English translation: *Philosophy of Mathematics and Natural Science*, Princeton: Princeton University Press, 2009.

Yanovskaya, Sofya A. [1936], Sovremennye techenija v burzhuaznoj filosofii matematiki, in: *Sbornik statei po filosofii matematiki*, edited by Sofya A. Yanovskaya, Moscow: Gos. uchebno-pedagogicheskoe izd., 84–96, [in Russian], URL http://ir.nmu.org.ua/bitstream/handle/123456789/102903/c75330a023e94791838d1c073b766a49.djvu?sequence=1&isAllowed=y.

Zaslavskiǐ, I. D. [1962], Nekotorye svojstva konstruktivnyh veshhestvennyh chisel i konstruktivnyh funkcij [Some properties of constructive real numbers and constructive functions], *Problemy konstruktivnogo napravlenija v matematike. 2. Konstruktivnyj matematicheskij analiz*, 67, 385–457, [in Russian], URL www.mathnet.ru/links/365aaf28b6c909187a6a7d3531820ca6/tm1760.pdf.

Zaslavskiǐ, I. D. & Ceǐtin, G. S. [1962], O singuljarnyh pokrytijah i svjazannyh s nimi svojstvah konstruktivnyh funkcij [Singular coverings and properties of constructive functions connected with them], *Problemy konstruktivnogo napravlenija v matematike. 2. Konstruktivnyj matematicheskij analiz*, 67, 458–502, [in Russian], URL www.mathnet.ru/links/c205e0b68376378fef3887294d31ae06/tm1761.pdf.