Search results

Crossley J. N. [1965] Constructive order types, I Formal Systems and Recursive Functions, Amsterdam, 189-264 65.12.113 R article Вернуться к поиску

Crossley J. N. [1970] Recursive equivalence Bull. London Math. Soc., 2, № 2. 129-151 71.03.69 article Вернуться к поиску

Crossley J. N. [1966] Constructive order types, II J. Symbolic Logic, 31, № 4, 525-538 68.07.146 article Вернуться к поиску

Crossley J.N. [1981] Aspects of Effective Algebra Upside Down Book Cor., Jarra Glen, Vic. ? OG book Вернуться к поиску

Crossley J.N. [1988] Fifty years of computability Southeast Asian Bull. Math., 11, 81-90 ? G article Вернуться к поиску

Crossley J. N., Nerode A. [1976] Effective dimension J. Algebra, 41, № 2, 398-412 77.05.57 G article Вернуться к поиску

Crossley J.N., Nerode A. [1974] Combinatorial functors Springer-Verlag 74.09.70 O book Вернуться к поиску

Crossley J. N., Remmel J.B. [1983] Undecidability and recursive equivalence, I Proc. South. Asian Conf. on Logic, (Singapore, 1981), North-Holland, 37-53 ? G article Вернуться к поиску

Crossley J. N., Remmel J.B. [1984] Undecidability and recursive equivalence, II Lect. Notes in Math., 1104, 79-100, Springer-Verlag 85.09.31 G article Вернуться к поиску

Crossley J. N. Nerode A. [1981] Recursive equivalence on matroids Aspects of Effective Algebra, 69-86, Upside Down a Book Co., Yarra Glen, Vic. ? article Вернуться к поиску

... Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную страницу