brand

Библиография Лаврова И.А.


Новости

05 Февраля, 2026 Конкурс на замещение должности
04 Февраля, 2026 Сергею Петровичу Прохорову 80 лет
18 Декабря, 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


Поиск


Черч А. ...

Черч А. [1960] Введение в математическую логику М., ИЛ (Перевод книги Church A., “Introduction to Mathematical Logic, I”, 1956.) 62.08.85 R книга Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Авторы на Ч

Ч Чернов В.П. Черч А. Чиквашвили Р.И. Вернуться на главную страницу

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.