Julián Iranzo, Pascual Lógica simbólica para informáticos / Pascual Julián Iranzo - 299 páginas ISBN: 9701510720 Subjects--Topical Terms: Lógica simbólica y matemáticaMatemáticas computacionales LC Class. No.: QA76.9M35 / I73