Title: Logic and Machines: Decision Problems and Complexity
Subjects: Symbolic and mathematical Logic, Computer science, Machine theory, Computational complexity, Decision making