TY - BOOK AU - SUPPES PATRICK Y OTRO TI - INTRODUCCION A LA LOGICA MATEMATICA T2 - 0 SN - 968-6708-01-4 U1 - 511.3 PY - 1996/// CY - MEXICO PB - REVERTE S.A. KW - CIENCIAS PURAS N1 - SIMBOLIZACION-INFERENCIA LOGICA/TERMINOS-SISTEMAS MATEMATICO ER -