Steren, G., & Bonelli, E. A. (2017). The First-Order Hypothetical Logic of Proofs. Web
Citación estilo ChicagoSteren, Gabriela, and Eduardo Augusto Bonelli. The First-Order Hypothetical Logic of Proofs. 2017.
Cita MLASteren, Gabriela, and Eduardo Augusto Bonelli. The First-Order Hypothetical Logic of Proofs. 2017.
Precaución: Estas citas no son 100% exactas.