Computable algebra, general theory, and theory of computable fields (1960)

by M Rabin
Venue:Transactions of the American Mathematical Society