000 01097nam a2200253 i 4500
003 MX-MxAU
005 20170912093539.0
008 030220s2003 sp 000 spa d
020 _a8489660042
040 _aMX-MxAU
_cMX-MxAU
082 _a519.6
_bG769m 2003
100 1 _aGrassmann, Winfried K.
245 1 0 _aMatemática discreta y lógica /
_cW. K. Grassmann, J. P. Tremblay ; traducción: Rafael García-Bermejo, Ma Luisa Díez Platas, Vivian de los Angeles Fernández Vázquez ; coordinación y revisión técnica: Luis Joyanes Aguilar.
260 _aMadrid :
_bPrentice Hall;
_c2003.
300 _a706 p. ;
_c25 x 19 cm.
500 _aIncluye contenido, prólogo, prólogo a la edición en español, bibliografía, soluciones a los problemas pares, índice analítico.
505 _a1. Cálculo proposicional -- 2. Cálculo de predicados -- 3. Inducción y recursividad -- 4. conjuntos y relaciones -- 5. Funciones
590 _a6
590 _a9
650 0 4 _aMatemáticas.
650 0 4 _aLógica simbólica y matemática.
700 1 _aTremblay, Jean-Paul,
942 _cLB
999 _c57940
_d57940