Title: Logic for problem solving
Subjects: Computer programming, Problem solving, Symbolic and mathematical Logic, Electronic digital computers, Programming, Wiskundige logica, Logique symbolique et mathématique, Problemlösen, Programmeren (computers), Résolution de problème, Programmation (Informatique), Automatisches Beweisverfahren, Probleemoplossing, Logic