Logic and Machines: Decision Problems and Complexity by E. Börger | Menrva Books | MenrvaBooks