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
Пинус А.Г. [1975] Об эффективных линейных порядках Сибирск. матем. журнал, 16, № 6, 1246-1254 76.05.48 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Пинус А.Г. [1981] О конструктивизациях булевых алгебр Сибирск. матем. журнал, 22, № 4, 169-175 81.12.99 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Кокорин А.И., Пинус А.Г. [1978] Вопросы разрешимости расширенных теорий Успехи мат. наук, 33, № 2, 49-84. 78.08.103 статья Вернуться к поиску
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.