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