Sierra Aristizábal, M. Lógica Básica Con Afirmación Y Negación Alternas. Rev. EAFIT. DyC 2012, 41, 84-95.