APA (7th ed.) Citation

Geuvers, H., & Nederpelt, R. (2013). N.G. de Bruijn’s contribution to the formalization of mathematics. Indagationes mathematicae, 24(4), 1034-1049. https://doi.org/10.1016/j.indag.2013.09.003

Chicago Style (17th ed.) Citation

Geuvers, Herman, and Rob Nederpelt. "N.G. de Bruijn’s Contribution to the Formalization of Mathematics." Indagationes Mathematicae 24, no. 4 (2013): 1034-1049. https://doi.org/10.1016/j.indag.2013.09.003.

MLA (9th ed.) Citation

Geuvers, Herman, and Rob Nederpelt. "N.G. de Bruijn’s Contribution to the Formalization of Mathematics." Indagationes Mathematicae, vol. 24, no. 4, 2013, pp. 1034-1049, https://doi.org/10.1016/j.indag.2013.09.003.