00843nam a2200253Ia 4500 770711s2008 sp a spa d 9788483224540 (Sirsi) 20304 511.3 L64l Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González... [et. al] Madrid : Pearson Educacion, S.A., 2008. 390 p. Prentice Práctica 1 Cálculo lógico 38039 Lógica de primer orden 38040 Lógica proposicional 38041 Razonamiento 4758 Hortalá González, Teresa 38042 Martí Oliet, Narciso 38043 Palomino Tarjuelo, Miguel 38044 Rodríguez Artalejo, Mario 38045 ddc LIBROGRAL 10027 10027 0 0 ddc 0 0 GEN 001 001 2009-09-29 c 107500.00 6 511.3 L64l 13319 2023-03-16 00:00:00 2023-03-07 Ej.1 2019-03-13 LIBROGRAL 0 0 ddc 0 0 GEN 001 001 2011-02-03 c 107500.00 2 511.3 L64l 13320 2022-08-30 00:00:00 2022-08-30 Ej.2 2019-03-13 LIBROGRAL 0 0 ddc 0 0 GEN 001 001 2011-02-03 c 107500.00 4 1 511.3 L64l 13321 2022-08-30 00:00:00 2022-08-30 Ej.3 2019-03-13 LIBROGRAL