Recursive real numbers (1954)

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