formalized

【预售】Formalized Probability Theory and Applications Using Theorem Proving，

【预售】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with Consideration of...，

【4周达】Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]，

【4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9781447160182]，

【4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with Co... [9783319813295]，

预订 Newton and Leibniz- How Calculus was formalized [9786200788153]，

【4周达】Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemology [9789048162192]，

【4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with Co... [9783319326146]，

【4周达】Semantic Information Modeling in Formalized Languages [9781304513595]，

【4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9780857298072]，

【4周达】Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epistemology [9781402011207]，

按需印刷Semantic Information Modeling in Formalized Languages[9781304513595]，

海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论：形式化逻辑在分，

海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学，数学，认知与行为，

海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论：形式化逻辑在分析中的，

海外直订Semantic Information Modeling in Formalized Languages 形式化语言中的语义信息建模，

海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学，数学，认知与行为，