1. Brouwer, L. E. J. (1975). Collected works, Vol. 1: Philosophy and foundations of mathematics (A. Heyting, Ed.). Amsterdam: North Holland Publishing Company.
2. Brouwer, L. E. (1981, January). Brouwer’s Cambridge lectures on intuitionism (D. van Dalen, Ed.). New York: Cambridge University Press.
3. Carnot, L. (1832). Reflexions on the metaphysical principles of the infinitesimal analysis. Oxford: J.H. Parker.
4. Corry, L. 2004. David Hilbert and the axiomatization of physics (1898–1918). Dordrecht: Kluwer.
5. Ernst, M. (2015). The prospects of unlimited category theory: Doing what remains to be done. Review of Symbolic Logic, 8(2), 306–327. https://doi.org/10.1017/S1755020314000495.