Logic for problem solving
โ Robert A. Kowalski
๐ Library
๐
1979
๐ Elsevier North Holland
๐ English
Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming