TY - BOOK AU - Smith, Karl J. TI - Introducción a la lógica simbólica PY - 1991/// ER -