|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1981 |
1. |
Л. М. Коган-Бернштейн, “Упрощение генценовских редукций классической арифметики”, Зап. научн. сем. ЛОМИ, 105 (1981), 45–52 ; L. M. Kogan-Bernstein, “Simplification of Gentzen's reductions in the classical arithmetic”, J. Soviet Math., 22:3 (1983), 1305–1310 |
1
|
|