|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1989 |
| 1. |
С. В. Горячев, “Об арифметике с локальным принципом рефлексии для россеровской формулы доказуемости”, Матем. заметки, 46:3 (1989), 12–21    ; S. V. Goryachev, “Arithmetic with a local reflection principle for Rosser provability formulas”, Math. Notes, 46:3 (1989), 689–694  |
1
|
|
1986 |
| 2. |
С. В. Горячев, “Об интерпретируемости некоторых расширений арифметики”, Матем. заметки, 40:5 (1986), 561–571 ; S. V. Goryachev, “Interpretability of various extensions of arithmetic”, Math. Notes, 40:5 (1986), 821–827 |
6
|
|
Обратная связь: