理论逻辑学的英文翻译
中文:理论逻辑学
英文翻译:【计】 theoretical logic