Logic for problem solving - Kowalski, Robert (New York : North Holland, 1979)
Includes index
Bibliography: p. 247-260
1
Keywords: Problem solving; Electronic digital computers -- Programming; Logic, Symbolic and mathematical; Computers; Logic