Новости
14 Августа, 2025
Конкурс на замещение должности
03 Июля, 2025
Конкурс на замещение должности
20 Июня, 2025
Конкурс на замещение должности
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ohashi K. ...
Ohashi K. [1970] On a question of G. E. Sacks J. Symbolic Logic, 35, № 1, 46-50 71.04.49 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ohashi K. ...
Ohashi K. [1964] A strong form of a theorem of Friedberg Notre Dame J. Formal Logic, 5, № 1, 10-12 67.04.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Ohashi K. ...
Ohashi K. [1964] Enumeration of some classes of recursively enumerable sets Z. math. Logik und Grundl. Math., 10, № 1, 1-6 65.02.129 E article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на O
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сийской академии наук / Библиография Лаврова И.А.