Формальный вывод и логические исчисления (Смирнов В.А.)