Список статей и книг, упомянутых в лекции

1

E. Bishop, Foundations of constructive analysis (1967).

2

L. E. J. Brouwer, Over de grondsagen der wiskunde (1907).

3

L. E. J. Brouwer, De onbetrouwbaarheid der logische principies, Tijdschift voor wijsbegeerte, 2 (1908), pp. 152-158. (Перевод двух последних статей содержится в Collected works of L. E. J. Brouwer, 1974.)

4

L. E. J. Brouwer, Begründung der Mengenlehre wnabhängig vom ligischen Satz vom ausgeschlossenen Dritten, Erster Teil, Allgemeine Mengenlehre, Verhandelingen Nederl. Akad. Weteschappen, 1^{$\small e$} sectie, 12, no. 5 (1918).

5

A. S. Troelstra, Informal theory of choice sequences, Studia Logica, 25 (1969), pp. 31-54.