Sierra A., M. (2012). Logic of the tautologies. Ingeniería Y Ciencia, 8(15), 96–119. https://doi.org/10.17230/ingciencia.8.15.5