Logic for problem solving - Kowalski, Robert (New York, New York : North Holland, 1979)
Reimpresiones: 1982.
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES); PROBABILIDADES -- PROCESAMIENTO DE DATOS