LÓGICA PARA LA COMPUTACIÓN : Teorías de primer orden, resolución y elementos... - Ra-Ma, 2009

INFORMÁTICA - GUÍAS, MANUALES

LÓGICA PARA LA COMPUTACIÓN : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG / Luis de Ledesma. - Paracuellos de Jarama, Madrid : Ra-Ma, D.L. 2009. - 177 p. : il. ; 21 cm. - ISBN 978-84-7897-938-7. - Enc. en rústica

Ejemplar ligeramente alabeado, quizá por leve contacto con humedad, aunque no presenta huellas ni señales o manchas. Procede de liquidación de librería