Title: Introduction to the theory of finite automata (Studies in logic and the foundations of mathematics)