| |
| |
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 en formato pdf
Fundación Gustavo Bueno
| |