Title: Logic and Machines : Decision Problems and Complexity