Библиография Лаврова И.А.
Новости
05 Марта, 2026
Итоги конкурса на замещение вакантных должностей
02 Марта, 2026
Конкурс на замещение должности
22 Февраля, 2026
Защита диссертаций
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Boolos G., Jeffrey R.C. ...
Boolos G., Jeffrey R.C. [1989] Computability and Logic Cambridge University Press. (Имеется русский перевод) 75.05.70 book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на J
J Jacobs B. E. Jacobs K. Jahn M.A. Jain S. Janiczak A. Jaśkowski S. Jeffrey R.C. Jensen R. B. Jiang Zhingen Jockusch C. G. Jr. Johnson N. JonesJP Joseph D. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Буллос Дж.,Джеффри Р. ...
Буллос Дж., Джеффри Р. [1994] Вычислимость и логика М., Мир (Перевод книги Boolos G., Jeffrey R.C. “Computability and Logic”, 1989.) 95.04.34 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.