A note on computable real fields (1970)

by E W Madison
Venue:Journal of Symbolic Logic