Bertossi Duran, Leopoldo, Logica para ciencia de la computacion / Leopoldo Bertossi D. - 297 páginas : ilustraciones - Coleccion textos universitarios . ISBN: 9561404044 Subjects--Topical Terms: Lógica simbólica y matemáticaLógica simbólica y matemática LC Class. No.: QA9.2 / B47