Email-запись: Символическая логика и разумные машины