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