TY - BOOK AU - Suppes, Patrick TI - Introducción a la lógica simbólica AV - BC 108 S8518 PY - 1996/// CY - México PB - : Continental KW - Lógica N1 - Traducción de: Introduction to logic ER -