Nuño, J. A. (2013). UN PROCEDIMIENTO PARA CONSTRUIR FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS DADAS LAS VARIABLES DE FUNCIONES VERITATIVAS. Episteme NS, 32. Recuperado a partir de https://saber.ucv.ve/ojs/index.php/rev_ens/article/view/5556