Logic and Machines: Decision Problems and Complexity