Autostability of models and Abelian groups
暂无分享,去创建一个
[1] S. S. Goncharov,et al. Autostability of models , 1980 .
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[3] A. T. Nurtazin,et al. Strong and weak constructivization and computable families , 1974 .
[4] S. S. Goncharov,et al. Autostability and computable families of constructivizations , 1975 .
[5] S. S. Goncharov,et al. The quantity of nonautoequivalent constructivizations , 1977 .