Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Hummel T., Jockusch C.G. Jr. [1999] Generalized cohesiveness J. Symbolic Logic, 64, № 2, 489-516 01.11.77 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Groszek M. J., Hummel T. [1998] Σ 2 0 -constructions and I Σ 1 Ann. Pure Appl. Logic, 93, № 1-3, 83-101 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hummel T., Jockusch C. G. Jr. [2001] Ramsey’s theorem for computably enumerable colorings J. Symbolic Logic, 66, № 2 , 873-880. 09.10.117 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Hummel T. (Lakins) [1994] Effective versions of Ramsey's theorem: avoiding the cone above 0 ' J. Symbolic Logic, 59, № 4, 1301-1325 95.07.48 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Jockusch C.G. Jr., Lakins T. [2002] Generalized r -cohesiveness and the arithmetical hierarchy: A correction to “Generalized cohesiveness” by Hummel T., Jockusch C.G. Jr. J. Symbolic Logic, 67, № 3, 1078-1082. 05.08.100 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J.M.E. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.