О выразимости в ограниченной арифметике второго порядка А.А. Набебин — 1977 Sibirskij matematiceskij zurnal