GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY.

MLA

Brown, Chad E., and Christine Rizkallah. “Glivenko and Kuroda for Simple Type Theory.” Journal of Symbolic Logic, vol. 79, no. 2, June 2014, pp. 485–95. EBSCOhost, https://doi.org/10.1017/jsl.2013.10.

APA

Brown, C. E., & Rizkallah, C. (2014). Glivenko and Kuroda for Simple Type Theory. Journal of Symbolic Logic, 79(2), 485–495. https://doi.org/10.1017/jsl.2013.10

Chicago

Brown, Chad E., and Christine Rizkallah. 2014. “Glivenko and Kuroda for Simple Type Theory.” Journal of Symbolic Logic 79 (2): 485–95. doi:10.1017/jsl.2013.10.