Nuño, Juan A. «UN PROCEDIMIENTO PARA CONSTRUIR FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS DADAS LAS VARIABLES DE FUNCIONES VERITATIVAS». Episteme NS 32 (noviembre 14, 2013). Accedido agosto 14, 2026. https://saber.ucv.ve/ojs/index.php/rev_ens/article/view/5556.