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

by M Rabin
Venue:Russell Miller & Hans Schoutens / Computably Categorical Fields via Fermat’s Last Theorem 15