Arithmetizing Declarations (Corrigendum)
CACM March, 1963
Conway, M. E.
Speroni, J.
