arithmetic, and automata (1962)

by Logic
Venue:In Proceedings of the International Congress of Mathematicians