Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Odifreddi P.G. [1981] Strong reducibilities Bull. Amer. Math. Soc., 4, № 1, 37-86 81.11.54 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [2000] Strong reducibilities, again Contemporary Math., 257, 215-220 01.ВН12.63 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1978] Recorsivitá su ordinal admissibili Boll. Unione mat. ital., A15, № 3, 495-516 79.05.65 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1981] Trees and degrees Lect. Notes in Math., 839, 235-271, Springer-Verlag 81.09.26 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1983] Forcing and reducibilities, I J. Symbolic Logic, 48, № 2, 288-310 84.03.79 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1999] Reducibilities Handbook of Computability Theory, Elsevier, 89-119 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1996] Inductive inference of total functions London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 259-288 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1985] The structure of m -degrees Lect. Notes in Math., 1141, 315-332, Springer-Verlag 86.05.69 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1985] Proprietá globali (automorfismi e definibilitá) degli m -gradi Bull. Union mat. ital., A4, № 1, 71-76 86.06.85 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P. [1989], [1992] Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II Elsevier ? GOS book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1983] Forcing and reducibilities, II. Forcing in fragments of analysis J. Symbolic Logic, 48, № 3, 724-743 84.06.29 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1983] Forcing and reducibilities, III. Forcing in fragments of set theory J. Symbolic Logic, 48, № 4, 1013-1034 84.08.48 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. , Shore R. A. [1991] Global properties of local structures of degrees Bull. Union mat. ital., 7, № 1, 97-120 92.01.33 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Odifreddi P.G. [1983] On the first order theory of the arithmetical degrees Proc. Amer. Math. Soc., 83, № 3, 505-507 83.11.59 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.O Oberschelp A. Odifreddi P.G. Odintsov S. P. Ogiwara M. Ohashi K. Omanadze R. Sh. Orlicki A. Ouspenski V.A. Owings J.C. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... вычислимость" (русский вариант); E – Ершов Ю.Л. "Теория нумераций"; O – Odifreddi P. “Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II”; S – Соар Р.И. "Вычислимо перечислимые множества и степени" (русский вариант); G – Гончаров С.С., Ершов Ю.Л. "Конструктивные модели". 3. Желающий сразу ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.