Теория доказательств. Автоматизация доказательств и логических операций