34607 Сложность пропозициональных логик с конечным числом переменных : диссертация ... кандидата физико-математических наук : 01.01.06 Рыбаков, Михаил Николаевич 2005, Тверь

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