3) standard proposition calculations system axioms
标准命题演算系统公理
4) standard proposition calculations system theorems
标准命题演算系统定理
5) selecting principles
选题标准
6) Standard title
标准题名
补充资料：欧洲标准化委员会标准(见欧洲标准化委员会)
欧洲标准化委员会标准(见欧洲标准化委员会)
standards of CEN: see European Committee for Standardization; CEN
Ouzhou BiaozhunhuaW白}和。nhui biaoZhun欧洲标准化委员会标准(stand田月5 of CEN)见欧洲标准化委员会。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条