TY - BOOK AU - Grassmann,Winfried K. AU - Tremblay,Jean-Paul TI - Matemática discreta y lógica SN - 8489660042 U1 - 519.6 PY - 2003/// CY - Madrid PB - Prentice Hall KW - Matemáticas KW - Lógica simbólica y matemática N1 - Incluye contenido, prólogo, prólogo a la edición en español, bibliografía, soluciones a los problemas pares, índice analítico; 1. Cálculo proposicional -- 2. Cálculo de predicados -- 3. Inducción y recursividad -- 4. conjuntos y relaciones -- 5. Funciones ER -