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