D. Rödding

• Logic and Machines: Decision Problems and Complexity
• Logic and Machines : Decision Problems and Complexity