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
Перетятькин М.Г. [1973] О полных теорях с конечным числом счетных моделей Алгебра и логика, 12, № 5, 550-596 74.07.174 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Перетятькин М. Г. [1997] Конечно аксиоматизированные теории Новосибирск, Научная книга (Имеется перевод на английский язык.) 99.07. 128 G книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Перетятькин М.Г. [1971] Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств Алгебра и логика, 10 , № 5, 535-557. 72.05.82 G статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Перетятькин М.Г. [1973] Каждое рекурсивно перечислимое расширение теории линейного порядка имеет конструктивную модель Алгебра и логика, 12, № 2, 211-219 74.02.106 ...
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.