120 元券预售ConsiderationFormalizedCommentary¥8650去看看中国国际图书专营店发布了【预售】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with Consideration of...72 元券9786200788153formalized预订Calculus¥6510去看看澜瑞图书专营店发布了预订 Newton and Leibniz- How Calculus was formalized [9786200788153]177 元券9781402011207EpistemologyMathematicsFormalized¥16010去看看澜瑞图书专营店发布了【3-4周达】Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epistemology [9781402011207]108 元券9783319813295CommentaryFormalizedLanguages¥9810去看看澜瑞图书专营店发布了【3-4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with ... [9783319813295]174 元券9789048162192MathematicsFormalizedMechanics¥15820去看看澜瑞图书专营店发布了【3-4周达】Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemo... [9789048162192]210 元券9781466683150ApplicationsProbabilityFormalized¥19140去看看澜瑞图书专营店发布了【3-4周达】Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]117 元券9783319326146CommentaryFormalizedLanguages¥10810去看看澜瑞图书专营店发布了【3-4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with ... [9783319326146]66 元券LogicComputational9780857298072Formalized¥6130去看看澜瑞图书专营店发布了【3-4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9780857298072]63 元券LogicComputational9781447160182Formalized¥5950去看看澜瑞图书专营店发布了【3-4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9781447160182]39 元券9781304513595InformationFormalizedLanguages¥3710去看看澜瑞图书专营店发布了【3-4周达】Semantic Information Modeling in Formalized Languages [9781304513595]50 元券集合论逻辑形式化Logic¥5060去看看中华商务图书专营店发布了海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论:形式化逻辑在分析中的50 元券集合论逻辑形式化Logic¥5380去看看中华商务图书专营店发布了海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论:形式化逻辑在分120 元券预售ApplicationsProbabilityFormalized¥15490去看看中国国际图书专营店发布了【预售】Formalized Probability Theory and Applications Using Theorem Proving30 元券形式化语义言中建模¥4300去看看中华商务图书专营店发布了海外直订Semantic Information Modeling in Formalized Languages 形式化语言中的语义信息建模100 元券量子力学Mathematics认知Formalized¥14500去看看中华商务图书专营店发布了海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学,数学,认知与行为25 元券9781304513595InformationFormalizedLanguages¥4170去看看上海外文图书音像专营店发布了按需印刷Semantic Information Modeling in Formalized Languages[9781304513595]100 元券量子力学Mathematics认知Formalized¥16890去看看中华商务图书专营店发布了海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学,数学,认知与行为