van Atten, M. (2018). The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs. Indagationes mathematicae, 29(6), 1565-1636. https://doi.org/10.1016/j.indag.2018.06.005
Chicago Style (17th ed.) Citationvan Atten, Mark. "The Creating Subject, the Brouwer–Kripke Schema, and Infinite Proofs." Indagationes Mathematicae 29, no. 6 (2018): 1565-1636. https://doi.org/10.1016/j.indag.2018.06.005.
MLA (9th ed.) Citationvan Atten, Mark. "The Creating Subject, the Brouwer–Kripke Schema, and Infinite Proofs." Indagationes Mathematicae, vol. 29, no. 6, 2018, pp. 1565-1636, https://doi.org/10.1016/j.indag.2018.06.005.
Warning: These citations may not always be 100% accurate.