Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Cleave J.P. [1961] Creative functions Z. math. Logik und Grundl. Math., 7 , № 3, 205-212 63.06.70 REOS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cleave J.P. [1970] Some properties of recursively unseparable sets Z. math. Logik und Grundl. Math., 16 , № 2, 187-200 71.01.54 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cleave J.P. [1963] A hierarchy of primitive recursive function Z. math. Logik und Grundl. Math., 9 , № 4, 331-345 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Calhoun W. 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. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.