00987nam a2200241I 4500 9786077071655 510.6 / F245L / C,G. Farré Cirera, Rafael, Lógica para informáticos / Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012. México: Alfaomega; 2012. xii, 206 páginas : informatica; libro. "Área: Computación. Sub área: Teoría de la computación". Preliminares.-- 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. Computer logic. Lógica computacional. Nieuwenhuis, Robert, Nivela, Pilar, Oliveras, Albert, Rodríguez, Enric, Sierra, Josefina, BK 1 1 0 0 0 0 01 01 2015-10-16 1 1 510.6 / F245L / C,G. 11000210 2018-01-23 00:00:00 2018-01-23 BK 0 0 0 0 01 01 2015-10-16 0 510.6 / F245L / C,G. 11000211 2014-03-24 00:00:00 BK