Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Шенфилд Дж. С. [1975] Математическая логика М., Наука (Перевод книги Shoenfield J. R. “Mathematical Logic”, 1967.) 76.02.43 E книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Шенфилд Дж. С. [1977] Степени неразрешимости М., Наука (Перевод книги Shoenfield J.R. “Degrees of unsolvability”, 1971.) 78.03.67 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ш Шенфилд Дж. С. Шень А.Х. Ширшов А. И. Шкира В.В. Шмидт Ю.Д. Шор Р. А. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Feiner L. [1970] Hierarchies of Boolean algebras J. Symbolic Logic, 35 , № 3, 365-374 (Русский перевод в книге Дж. С. Шенфилда Степени неразрешимости , М., Наука, 1977, 163-179.) 71.07.80 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Feiner L. [1970] The strong homogeneity conjecture J. Symbolic Logic, 35 , № 3, 375-377 (Русский перевод в книге Дж.С. Шенфилда Степени неразрешимости , М., Наука, 1977, 180-184.) 71.06.53 RO article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yates C.E.M. [1965] Three theorems on the degrees of r.e. sets Duke Math. J., 32, № 3 461-468 (Русский перевод в книге Дж. Шенфилда Степени неразрешимости , М., Наука, 1977, 97-108.) 66.05.61 ROS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.