Nuño, J.A. 2013. UN PROCEDIMIENTO PARA CONSTRUIR FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS DADAS LAS VARIABLES DE FUNCIONES VERITATIVAS. Episteme NS. 32, (nov. 2013).