Logic for problem solving
New York Oxford North-Holland Publishing Co.
1979
Bibliography: p.247-260. - Includes index
Problem solving.
Logic, Symbolic and mathematical.
Electronic digital computers
Logic, Symbolic and mathematical.