Hortala Gonzalez, Maria Teresa Logica matematica para informaticos ejercicios resueltos - Madrid : Pearson, 2008. - x, 390 p. ISBN: 9788483224540 Subjects--Topical Terms: Lógica proposicionalInformáticaLógica simbólica y matemática Universal Decimal Class. No.: QA