公理语义学方法的英文翻译

英文翻译：【计】 axiomatic semantics approach