1. Boolos, G. (1995). The Logic of Provability. Cambridge University Press.
2. Brouwer, L.E.J. (1907). On the Foundations of Mathematic. In (8)
3. Brouwer, L.E.J. (1912). Intuitionism and Formalism. In (8).
4. Brouwer, L.E.J. (1933). Volition, Knowledge, and Language. In (8).
5. Brouwer, L.E.J. (1948). Consciousness, Philosophy, and Mathematics. In (8).