Lógica para informáticos - Farré Cirera, Rafael (México, D. F. : Alfaomega Grupo Editor ; Barcelona, España : Marcombo, 2012)
Keywords: LOGICA DE PRIMER ORDEN; LOGICA SIMBOLICA Y MATEMATICA; PROGRAMACION LOGICA; PROGRAMACION (COMPUTADORES ELECTRONICOS); LOGICA- -- PROBLEMAS, EJERCICOS, ETC; LOGICA- -- LIBROS DE TEXTO