Ejemplares similares: Lógica para la computación

Tópico: Lógica de primer orden.