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