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