Armstrong axiomatic Arms-trong

【计】 公理系统
英汉词典
相关词语