000			00619nam a2200193Ia 4500
999			_c31845 _d31845
003			OSt
005			20181023043908.0
008			24419b pe ||||| |||| 00| 0 spa d
040			_cCentro de Información y Bibliotecas
082			_a511.3.GRAS.00
100			_aGRASSMANN, WINFRIED KARL
100			_eAutor
245		0	_aMATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN
250			_a1A. ed
260			_aMADRID
260			_b
260			_c1997
300			_a706
300			_c25.0
505			_aCALCULO PROPOSICIONAL . -- CALCULO DE PREDICADOS . -- INDUCCIÓN Y RECURSIVIDAD . -- PROLOG . -- CONJUNTOS Y RELACIONES . -- FUNCIONES . -- GRAFOS Y ARBOLES . -- 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
650			_aINFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)
700			_aTREMBLAY, JEAN-PAUL
942			_cTM001 _2ddc