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