|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1987 |
| 1. |
А. А. Тверской, “Неконструктивизируемые формальные арифметические структуры”, Изв. АН СССР. Сер. матем., 51:1 (1987), 111–130    ; A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Math. USSR-Izv., 30:1 (1988), 103–122 |
|
1985 |
| 2. |
А. А. Тверской, “Конструктивизируемые и неконструктивизируемые
формальные арифметические структуры”, УМН, 40:6(246) (1985), 159–160 ; A. A. Tverskoi, “Constructivizable and non-constructivizable formal arithmetic structures”, Russian Math. Surveys, 40:6 (1985), 145–146  |
|
1982 |
| 3. |
А. А. Тверской, “Исследование рекурсивности и арифметичности сигнатурных функций в нестандартных моделях арифметики”, Докл. АН СССР, 262:6 (1982), 1325–1328 |
2
|
|
Обратная связь: