SIERRA A., M. Logic of the tautologies. Ingeniería y Ciencia, v. 8, n. 15, p. 96–119, 15 June2012.