Tortolero: Deduccion Natural y Secuentes

September 27, 2017 | Author: Numa Eduardo Tortolero | Category: Mathematical Proof, Axiom, Logic, Proposition, Metalogic
Report this link


Description

Exposición del cálculo de deducción natural y el cálculo de secuentes.


Comments

Copyright © 2024 UPDOCS Inc.