Steren, G., & Bonelli, E. A. (2013). Intuitionistic Hypothetical Logic of Proof. Web
Citación estilo ChicagoSteren, Gabriela, and Eduardo Augusto Bonelli. Intuitionistic Hypothetical Logic of Proof. 2013.
Cita MLASteren, Gabriela, and Eduardo Augusto Bonelli. Intuitionistic Hypothetical Logic of Proof. 2013.
Precaución: Estas citas no son 100% exactas.