Baceta V., J. F. VALUACIONES BOOLEANAS, CONJUNTOS VERDADEROS, COMPLECIÓN Y CONSISTENCIA. NOTAS A “A PROCEDURE OF BUILDING UP TAUTOLOGOUS PROPOSITIONAL FORMULAE FROM GIVEN VARIABLE TRUTH-FUNCTIONS” DE JUAN NUÑO. EPNS 2013, 32.