Саватеев Юрий Вячеславович. Алгоритмическая сложность фрагментов исчисления Ламбека : диссертация ... кандидата физико-математических наук : 01.01.06 / Саватеев Юрий Вячеславович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.].- Москва, 2009.- 75 с.: ил. РГБ ОД, 61 10-1/913
