负责人即责任编辑，负责译者遴选、进度管理和质量审核等事宜。可私信联系。

请问一下，现在（2021年）这个《符号逻辑》已经翻译完了吗？