36375 Алгоритмическая сложность фрагментов исчисления Ламбека : диссертация ... кандидата физико-математических наук : 01.01.06 Саватеев, Юрий Вячеславович 2009, Москва

Математика. Диссертация Алгоритмическая сложность фрагментов исчисления Ламбека : диссертация ... кандидата физико-математических наук : 01.01.06, Москва, 2009