Search results

Clote P. [1999] Computation models and function algebras Handbook of Computability Theory, Elsevier, 589-681 ? article Вернуться к поиску

Clote P. [1986] A generalization of the limit lemma and clopen games J. Symbolic Logic, 51, № 2, 273-291 86.12.67 article Вернуться к поиску

Clote P. [1985] On recursive trees with a unique infinite branch Proc. Amer. Math. Soc., 93, № 2, 335-342 86.01.60 G article Вернуться к поиску

Clote P. [1985] Applications of the low-basis theorem in arithmetic Lect. Notes in Math., 1141, 65-88, Springer-Verlag 86.05.100 S article Вернуться к поиску

Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску

... Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ 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. Вернуться на главную страницу