Abstract
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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have