Steren, G., & Bonelli, E. The first-order hypothetical logic of proofs.
Cita Chicago Style (17a ed.)Steren, G., y E. Bonelli. The First-order Hypothetical Logic of Proofs.
Cita MLA (8a ed.)Steren, G., y E. Bonelli. The First-order Hypothetical Logic of Proofs.
Precaución: Estas citas no son 100% exactas.