Herbrand base

【计】 海尔勃朗基
在线英汉词典
相关词语