Las reglas de la deducción natural de conectores tipo GENTZEN

Lo siento este artículo ha cambiado de ubicación. Puedes encontrarlo en este otro link