A note on computable real fields
暂无分享,去创建一个
[1] M. Rabin. Computable algebra, general theory and theory of computable fields. , 1960 .
[2] P. Erdös,et al. An Isomorphism Theorem for Real-Closed Fields , 1955 .
暂无分享,去创建一个
[1] M. Rabin. Computable algebra, general theory and theory of computable fields. , 1960 .
[2] P. Erdös,et al. An Isomorphism Theorem for Real-Closed Fields , 1955 .