Title: Logic, Problem Solving, Programs and Computers