Grassmann, Winfried Karl creator autor. Jean-Paul Tremblay. text bibliography sp 1997 monographic spa 706 páginas ; 25 centímetros Cálculo proposicional -- Cálculo de predicados -- Inducción y recursividad -- Prologo -- Conjuntos y relaciones -- Funciones -- Grafos y árboles -- Especificación formal de requisitos en Z -- Verificación de programas -- Gramáticas, lenguajes y análisis sintácticos -- Derivaciones -- Una panorámica de los sistemas de bases de datos relacionales. Grassmann, Winfried Karl, J. P. Tremblay. Bibliografía: páginas 611-612. SEG44 SEG26 P159 P155 P154 P153 P150 P100 P31 P30 P26 P25 P24 P22 P15 P10 Matemáticas discretas 511.3 G79 8489660042 9788489660045 PE-LiUPU 150616 20250731180157.0 spa