J. A. Nuño, «UN PROCEDIMIENTO PARA CONSTRUIR FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS DADAS LAS VARIABLES DE FUNCIONES VERITATIVAS», EPNS, vol. 32, nov. 2013.