Pascual, Julián Iranzo Lógica simbólica para informáticos - 2006 - xxii, 299 páginas : 23 cm. Subjects--Topical Terms: Generalidades Subjects--Facted Index Terms: Dpto. de Humanidades Dewey Class. No.: 160.03 / J87