Lógica para la computación. 2 libros. Vol 1: Lógica proposicional + Vol 2 lógica de primer orden

Lógica para la computación . 2 libros.
Volumen 1: lógica proposicional / Gabriela Aguilera Venegas, Inmaculada Pérez de Guzmán Molina. Málaga: Editorial librería Ágora, 1993. Encuadernación en rústica. 204 páginas. Bien conservado: ejemplar plastificado, marcas de fixo en las primeras y última página.
Volumen 2: lógica de primer orden / Manuel Ojeda aciego Inmaculada Pérez de Guzmán Molina. Editorial librería Ágora coma 1997. Encuadernación en rústica. Ciento ochenta y seis páginas. Bien conservado