Ар10-2860     Саватеев, Ю. В.     Алгоритмическая сложность фрагментов исчисления Ламбека [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ю. В. Саватеев. - М., 2009. - 12 с. - Библиогр.: с. 12 (3 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак. ГРНТИ 16.31 УДК 81'32(043) Экземпляры всего 1: ХР (1) Свободны: ХР (1)