1. E. Bishop,Foundations of Constructive Analysis, McGraw-Hill, New York 1967.
2. L. E. J. Brouwer,Over de Grondslagen der Wiskunde, Amsterdam 1907.
3. L. E. J. Brouwer, ?De Onbetrouwbaarheid der Logische Principes?,Tijdschrift voor Wijsbegeerte 2 (1908) 152?158.
4. (Translations of these two papers will be contained in the collected works of L. E. J. Brouwer, to appear in 1974.)
5. L. E. J. Brouwer, ?Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Erster Teil, Allgemeine Mengenlehre?,Verhandelingen Nederl. Akad. Wetenschappen, 1e Sectie,12, No. 5 (1918).