Снятков А.С. Разрешимость теорий иерархий согласованных со сложением функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. С. Снятков, 2012. - 16 с. - Текст : непосредственный.