Key points are not available for this paper at this time.
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35. - Volume 29 Issue 4
J Büchi (Tue,) studied this question.