1954], "Recursive Real Numbers (0)

by H G Rice
Venue:Proceedings, AMS