Farré Cirera, Rafael creator Nieuwenhuis, Robert Nivela, Pilar Oliveras, Albert Rodríguez, Enric Sierra, Josefina text México Alfaomega 2012 Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012. monographic xii, 206 páginas : informatica; libro. 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. "Área: Computación. Sub área: Teoría de la computación". Computer logic Lógica computacional 510.6 / F245L / C,G. 9786077071655