Introducción a la lógica simbólica - Smith, Karl J. (Grupo Editorial Iberoamericano, 1991)