Mathematics of computation (Soc., 1960)