| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
1995, том 220
|
| | | Общая информация | | | Содержание | | |
|
Николай Александрович Шанин |
||
|
|
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике Н. А. Шанин |
5 | |
|
|
Models of linear logic Marc Bergeron, William Hatcher |
23 | |
|
|
Бесконечные множества простых чисел, допускающие диофантовы представления с восемью переменными М. А. Всемирнов |
36 | |
|
|
Доказательства в арифметике, использующие случайные числа Е. Я. Данцин |
49 | |
|
|
Уровневые логики Н. К. Косовский |
72 | |
|
|
Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности Ю. В. Матиясевич |
83 | |
|
|
Метод Г. Е. Минц |
93 | |
|
|
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка Регимантас Плюшкявичус |
123 | |