|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
1. |
S. V. Goryachev, “Arithmetic with a local reflection principle for Rosser provability formulas”, Mat. Zametki, 46:3 (1989), 12–21 ; Math. Notes, 46:3 (1989), 689–694 |
1
|
|
1986 |
2. |
S. V. Goryachev, “Interpretability of various extensions of arithmetic”, Mat. Zametki, 40:5 (1986), 561–571 ; Math. Notes, 40:5 (1986), 821–827 |
6
|
|