Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Перетятькин М.Г. [1973] О полных теорях с конечным числом счетных моделей Алгебра и логика, 12, № 5, 550-596 74.07.174 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Перетятькин М. Г. [1997] Конечно аксиоматизированные теории Новосибирск, Научная книга (Имеется перевод на английский язык.) 99.07. 128 G книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Перетятькин М.Г. [1971] Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств Алгебра и логика, 10 , № 5, 535-557. 72.05.82 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Перетятькин М.Г. [1973] Каждое рекурсивно перечислимое расширение теории линейного порядка имеет конструктивную модель Алгебра и логика, 12, № 2, 211-219 74.02.106 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.П Павлова Е.А. Павловский Е.Н. Пальчунов Д.Е. Палютин Е.А. Пензин Ю.Г. Перетятькин М.Г. Перов А.Е. Петер Р. Петрова К.В. Пинус А.Г. Платонов М.А. Плясунов С.Ю. Подзоров С.Ю. Поляков Е.А. Посицельский С.Е Пранк Р. Пузаренко В.Г. Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.