Сложность пропозициональных логик с конечным числом переменныхдиссертация