TY - BOOK AU - SUPPES PATRICK Y HILL SHIRLEY TI - PRIMER CURSO DE LOGICA MATEMATICA T2 - 0 SN - 968-6708-01-4 U1 - 511.3 PY - 2004/// CY - MEXICO PB - REVERTE S.A. KW - CIENCIAS PURAS N1 - SIMBOLOZACION DE POPOSICIONES/INFERENCIA LOGICA/CERTEZA Y VALIDEZ/TABLAS DE CERTEZA/TERMINOS PREDICADOS Y CUANTIFICADORES UNIVERSALES/ESPECIFICACION UNIVERSAL Y LEYES DE IDENTIDAD/SISTEMA MATEMATICO SIMPLE AXIOMAS DE LA ER -