Title: Logic, Automata, and Algorithms
Subjects: Logic, symbolic and mathematical, Sequential machine theory, Algorithms