Arithmetizing Declarations (Corrigendum) CACM March, 1963 Conway, M. E. Speroni, J. CA630312b JB March 14, 1978 1:40 PM 909 5 909 909 5 909 909 5 909 1963 5 909 909 6 909 475 6 909 750 6 909