logo Fundación Gustavo BuenoFundación Gustavo Bueno

 

El Basilisco
El Basilisco, revista de filosofía fundada en 1978 por Gustavo Bueno
 


El Basilisco, número 13, noviembre 1981-junio 1982, página 45

Antonio González Carlomán

Teorema de deducción

El Basilisco, número 13, noviembre 1981-junio 1982, páginas 45-47.

El teorema de deducción que sigue fue expuesto en un trabajo, pendiente de publicación, sobre una axiomatización de lógica de primer orden con identidad, en que se toman como axiomas los siguientes:

→ Facsímil del original impreso de este artículo


El Basilisco · índices · historia · normas para los autores · suscripciones · pedido de ejemplares impresos