Логика высказываний и теория вывода (Зиновьев А.А.)