| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
2003, том 304
|
| | | Общая информация | | | Содержание | | |
|
Предисловие редактора Ю. В. Матиясевич |
5 | |
|
|
Слабая конструктивная арифметика второго порядка с извлечением алгоритмов, вычислимых за полиномиальное время А. П. Бельтюков |
7 | |
|
|
New models of bounded induction axioms S. Boughattas, J.-P. Ressayre |
13 | |
|
|
Формальные аксиоматические теории на основе трехзначной логики И. Д. Заславский |
19 | |
|
|
Некоторые алгебры рекурсивно перечислимых множеств и их приложения к нечеткой логике С. Н. Манукян |
75 | |
|
|
Ch. Pollett |
99 | |
|
|
Destinies and decidability P. Cégielski |
121 | |
|
|
Определимость в EMSO языков объектов с событийной структурой К. В. Шахбазян, Ю. Г. Шукурян |
128 | |
|
|
Диофантова неразрешимость для некоторых функциональных полей бесконечной степени трансцендентности и положительной характеристики А. Шляпентох |
141 | |