000 00843nam a2200253Ia 4500
008 770711s2008 sp a spa d
020 _a9788483224540
035 _a(Sirsi) 20304
082 0 4 _a511.3
_bL64l
245 1 0 _aLógica matemática para informáticos :
_bejercicios resueltos /
_cTeresa Hortalá González... [et. al]
260 _aMadrid :
_bPearson Educacion, S.A.,
_c2008.
300 _a390 p.
490 _aPrentice Práctica
596 _a1
650 4 _aCálculo lógico
_938039
650 4 _aLógica de primer orden
_938040
650 4 _aLógica proposicional
_938041
650 4 _aRazonamiento
_94758
700 1 _aHortalá González, Teresa
_938042
700 1 _aMartí Oliet, Narciso
_938043
700 1 _aPalomino Tarjuelo, Miguel
_938044
700 1 _aRodríguez Artalejo, Mario
_938045
942 _2ddc
_cLIBROGRAL
999 _c10027
_d10027