324518 Вычислительная сложность некоторых задач математической логики : диссертация ... кандидата физико-математических наук : 01.01.06 Дудаков, Сергей Михайлович 2000, Тверь

Математика. Диссертация Вычислительная сложность некоторых задач математической логики : диссертация ... кандидата физико-математических наук : 01.01.06, Тверь, 2000