On constructivity and the Rosser property: a closer look at some Gödelean proofs.

MLA

Salehi, Saeed, and Payam Seraji. “On Constructivity and the Rosser Property: A Closer Look at Some Gödelean Proofs.” Annals of Pure & Applied Logic, vol. 169, no. 10, Oct. 2018, pp. 971–80. EBSCOhost, https://doi.org/10.1016/j.apal.2018.04.009.

APA

Salehi, S., & Seraji, P. (2018). On constructivity and the Rosser property: a closer look at some Gödelean proofs. Annals of Pure & Applied Logic, 169(10), 971–980. https://doi.org/10.1016/j.apal.2018.04.009

Chicago

Salehi, Saeed, and Payam Seraji. 2018. “On Constructivity and the Rosser Property: A Closer Look at Some Gödelean Proofs.” Annals of Pure & Applied Logic 169 (10): 971–80. doi:10.1016/j.apal.2018.04.009.