Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Робинсон А. [1967] Введение в теорию моделей и метаматематику алгебры М., Наука (Перевод книги Robinson A. “Introduction to model theory and to the metamathematics of algebra”,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Р Ремесленников В.Н. РобинсонА РобинсонДж. РобинсонРМ Рогожин Ю.В. Роджерс Х. Розинас М.Г. Ромина А. В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Насибуллов Х.Х. [1967] Некоторые базисы алгебры Робинсон Кибернетика, 2, 24-26. 67.10.262 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Козьминых В.В. [1970] О подалгебрах алгебры Р.Робинсон Алгебра и логика, 9, № 6, 672-690 71.07.73 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Робинсон Р.М. [1963] Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коэффициентами Алгебра ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соколов В.А. [1967] Об изоморфизмах максимальных подалгебр алгебры Р.Робинсона Алгебра и логика, 6, № 3, 91- 99 68.05.124 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1977] Об одном семействе максимальных подалгебр алгебры Р.Робинсона Мат. заметки, 22, № 4, 511-516 78.08.80 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Робинсон Дж. [1973] Аксиомы для теоретико числовых функций Избранные вопросы алгебры и логики, Сб., посвященный памяти А.И.Мальцева (Ширшов А....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В., Робинсон Дж. [1974] Два универсальных трехкванторных представления перечислимых множеств Сб. Теория алгорифмов и матем. логика, М., ВЦ АН СССР,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.