Cite
A secondary semantics for Second Order Intuitionistic Propositional Logic.
MLA
Ferrari, Mauro, et al. “A Secondary Semantics for Second Order Intuitionistic Propositional Logic.” Mathematical Logic Quarterly, vol. 50, no. 2, Mar. 2004, pp. 202–10. EBSCOhost, https://doi.org/10.1002/malq.200310090.
APA
Ferrari, M., Fiorentini, C., & Fiorino, G. (2004). A secondary semantics for Second Order Intuitionistic Propositional Logic. Mathematical Logic Quarterly, 50(2), 202–210. https://doi.org/10.1002/malq.200310090
Chicago
Ferrari, Mauro, Camilo Fiorentini, and Guido Fiorino. 2004. “A Secondary Semantics for Second Order Intuitionistic Propositional Logic.” Mathematical Logic Quarterly 50 (2): 202–10. doi:10.1002/malq.200310090.