理论逻辑学的英文翻译

中文:理论逻辑学

英文翻译:【计】 theoretical logic