Logic for problem solving - Kowalski, Robert (North Holland, 1979)
Reimpresiones: 1982.