Email-запись: Математическая логика и автоматическое доказательство теорем