“Proofs.” Predicative Arithmetic. (MN-32): by Edward Nelson, Princeton University Press, Princeton, New Jersey, 1986, pp. 111–114, www.jstor.org/stable/j.ctt7ztgtr.26. Accessed 20 June 2021.
Nelson, E. (1986). Proofs. In Predicative Arithmetic. (MN-32): (pp. 111-114). Princeton, New Jersey: Princeton University Press. Retrieved June 20, 2021, from http://www.jstor.org/stable/j.ctt7ztgtr.26
Nelson, Edward. "Proofs." In Predicative Arithmetic. (MN-32):, 111-14. Princeton, New Jersey: Princeton University Press, 1986. Accessed June 20, 2021. http://www.jstor.org/stable/j.ctt7ztgtr.26.
Export a RIS file (For EndNote, ProCite, Reference Manager, Zotero, Mendeley…)
Export a Text file (For BibTex)
Note: Always review your references and make any necessary corrections before using. Pay attention to names, capitalization, and dates.