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
М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1960] Об одном соответствии между кольцами и группами Мат. сборник, 50, № 3, 257-266 61.02.155 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1961] Неразрешимость элементарной теории конечных групп ДАН СССР, 138, № 4, 771-774 62.05.288. статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1959] Регулярные произведения моделей Изв. АН СССР, сер. мат., 23, № 4, 489-502 60.12555 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1963] Полно нумерованные множества Алгебра и логика, 2 , № 2, 4-29 64.03.56 EO статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1961] Конструктивные алгебры, I Успехи мат. наук, 16, № 3, 3-60 62.11.229 EOG статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1965] Позитивные и негативные нумерации ДАН СССР, 160, № 2, 278-280 65.06.56 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1960] О свободных разрешимых группах ДАН СССР, 130, № 3, 495-498 61.03.191 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев Ан. А. [1981] О строении m -скачка Сибирск. матем. журнал, 22 , № 4, 129-135 81.12.303 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. (ред.) [1965] Сб. переводов «Математическая логика и ее применения» М., Мир ? книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1970] Алгебраические системы М., Наука (Имеется перевод на английский язык.) 70.07.280 EG книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев Ан. А. [1982] Верхние полурешетки нумераций Сибирск. матем. журнал, 23 , № 4, 122-136 82.12.307 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1962] Строго родственные модели и рекурсивно совершенные алгебры ДАН СССР, 145, № 2, 276-279 64.02.109 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1964] К теории вычислимых семейств объектов Алгебра и логика, 3 , № 4, 5-31 65.04.67 EOG статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев Ан. А. [1985] Строение полурешетки btt 1 -степеней Сибирск. матем. журнал, 26 , № 2 , 132-139 85.08.330 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1976] Избранные труды, т.I, т. II М., Наука (Имеется перевод на английский язык.) 76.11.202; 76.12.89 G книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев Ан. А. [1987] Частичное упорядочение степеней альтернативной m -сводимости Сибирск. матем. журнал, 28 , № 1 , 172-181 87.07.61 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев Ан. А. [1984] К строению семейств иммунных, гипериммунных и гипергипериммунных множеств Мат. сборник, 124, № 3, 307-319 84.11.21 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1962] Аксиоматизируемые классы локально свободных алгебр некоторых типов Сибирск. матем. журнал, 3, № 5, 729-743 63.07.211 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1965];[1986] Алгоритмы и рекурсивные функции М., Наука (Имеются переводы на немецкий и английский языки.) 66.08.63; 87.03.61 EORSG книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1961] Об элементарных свойствах линейных групп Сб. Некоторые проблемы математики и механики, Новосибирск, Из-во АН СССР, 110-132 63.01.279 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1960] О неразрешимости элементарных теорий некоторых полей Сибирск. матем. журнал, 1, № 1, 71-77; замеч.- 2, № 4, 639 61.10.273 62.06.243 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1961] Эффективная неотделимость множества тождественно истинных и конечно опровержимых формул некоторых элементарных теорий ДАН СССР, 139, № 4, 802-805 62.05.82 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций. Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука, 8-12 78.01.39 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.