Упрощение генценовских редукций классической арифметики Л.М. Коган-Бернштейн — 1981 Zapiski naucnych seminarov Leningradskogo