Paniagua Arís, Enrique. Lógica computacional / Enrique Paniagua Arí, Juan Luis Sánchez González, Fernando Martín Rubio - Madrid : Thomson , 2003 - xiv, 205 p. : il. ISBN: 8497321820 Subjects--Topical Terms: LOGICA MATEMATICA LOGICA COMPUTACIONAL Universal Decimal Class. No.: 510.6 P192l