Вычислительная сложность некоторых задач математической логики
Дудаков, Сергей Михайлович. Вычислительная сложность некоторых задач математической логики : диссертация ... кандидата физико-математических наук : 01.01.06.- Тверь, 2000.- 139 с.: ил. РГБ ОД, 61 01-1/581-1