逻辑数学的英文翻译
中文：逻辑数学
英文翻译：【计】 mathematics of logic