Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Тайманов А.Д. [1963] Разрешимость элементарной теории включения сфер Алгебра и логика, 2, № 3, 23-28 64.06.80 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов.Ю.Л., Лавров И.А., Тайманов А.Д.., Тайцлин М.А. [1965] Элементарные теории Успехи мат. наук, 20, № 4, 37-108 67.04.90 EOS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Т Тайманов А.Д.. Тайцлин М.А. Таласбаева Ж.Т. Тамме Т. Тербер Дж. Титов Н.Н. Трахтенброт Б.А. Тусупов Д. А. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Добрица В.П. [1998] Сводимости и вычислимые индексации Тр. конф. по математике, посвященной памяти А.Д. Тайманова (Алматы, 1997), 9-14 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дроботун Б.Н. [2006] О нумерациях простых моделей Теория моделей в Казахстане. Сб. научных работ, посвященный памяти А.Д. Тайманова. Алмааты: Eco study, 302-308 09.12.122 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.