Hortalá González, Teresa…[et al.]. Lógica matemática para informáticos. - Madrid Pearson Educación 2008 - 390 páginas ISBN: 9788483224540 Subjects--Topical Terms: FORMALIZACIÓNLÓGICA SIMBÓLICAMATEMÁTICAPROBLEMAS RESUELTOSTÉCNICAS DE RAZONAMIENTO Dewey Class. No.: 511.3 H821L