Lógica, programación e inteligencia artificial - Kowalski, Robert (Madrid Díaz de Santos, 1986)
Tít. original: Logic for problem solving
Keywords: Lógica; Lógica matemática; Inteligencia artificial