Antonio González Carlomán, Teorema de deducción, El Basilisco 1982 (original) (raw)
El Basilisco, revista de filosofía fundada en 1978 por Gustavo Bueno
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