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