Iranzo, Pascual Julián Lógica simbólica para informáticos - México : Alfaomega, 2005 - 299 p. ISBN: 970-15-1072-0 LCCN: 011529 Subjects--Topical Terms: LOGICALOGICAINFORMATICASEMANTICACALCULO Dewey Class. No.: 005.131