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