Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Logic for problem solving
Автор: Kowalski R.
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