00971nam a2200217I  4500020001800000082002700018100002800045245003500073250006900108260003300177300004700210500007100257520026500328650002000593650002800613700002500641700001900666700002200685700002400707700002200731  a9786077071655  a510.6  /bF245L / C,G.1 aFarré Cirera, Rafael,10aLógica para informáticos /  aPrimera ediciónn: Alfaomega Grupo Editor, México, mayo 2012.  aMéxico:bAlfaomega;c2012.  axii, 206 páginas :binformatica;elibro.  a"Área: Computación. Sub área: Teoría de la computación".  aPreliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción  en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos. 0aComputer logic. 4aLógica computacional.1 aNieuwenhuis, Robert,1 aNivela, Pilar,1 aOliveras, Albert,1 aRodríguez, Enric,1 aSierra, Josefina,