9781304513595InformationFormalizedLanguages
集合论逻辑形式化Logic
量子力学Mathematics认知Formalized
形式化语义言中建模
预售ConsiderationFormalizedCommentary
预售ApplicationsProbabilityFormalized