Recursive real numbers (1954)

by H G Rice
Venue:Proc. Amer. Math. Soc