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