TY - BOOK AU - Suppes,Patrick TI - Introducción a la logica simbolica AV - BC135 S87 1981 PY - 1981/// CY - Mèxico PB - Continental KW - Lemb KW - Logica Simbolica KW - Logica Matematica N1 - Traducción de : introduction to logic ER -