formalized
|
【3-4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9781447160182]
【3-4周达】Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemo... [9789048162192]
【3-4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with ... [9783319813295]
预订 Newton and Leibniz- How Calculus was formalized [9786200788153]
【3-4周达】精装 Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary ... [9783319326146]
【3-4周达】精装 Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epis... [9781402011207]
【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]
【3-4周达】Semantic Information Modeling in Formalized Languages [9781304513595]
【3-4周达】Formalized Natural Languages [9781304603760]
海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学，数学，认知与行为
海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论：形式化逻辑在分
海外直订Computational Logic and Set Theory: Applying Formalized Logic to Analysis 计算逻辑与集合论：形式化逻辑在分析中的
海外直订Semantic Information Modeling in Formalized Languages 形式化语言中的语义信息建模
【3-4周达】精装 Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9780857298072]
按需印刷不退不换Semantic Information Modeling in Formalized Languages[9781304513595]
海外直订Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized 量子力学，数学，认知与行为 |
![【3-4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9781447160182]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN015NcWmZ28LaOr0Q9so_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9781447160182]")
![【3-4周达】Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemo... [9789048162192]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01LwNPGB28LaP3ws0rB_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemo... [9789048162192]")
![【3-4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with ... [9783319813295]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01XW8Heh28LaOwdkqII_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary with ... [9783319813295]")
![预订 Newton and Leibniz- How Calculus was formalized [9786200788153]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01MgO53B28LaP47lfvh_!!4611686018427384108-0-item_pic.jpg "预订 Newton and Leibniz- How Calculus was formalized [9786200788153]")
![【3-4周达】精装 Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary ... [9783319326146]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01wFfHKS28LaOwfvJA0_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Alfred Tarski and the Concept of Truth in Formalized Languages: A Running Commentary ... [9783319326146]")
![【3-4周达】精装 Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epis... [9781402011207]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01sMCwW228LaOqljPaa_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epis... [9781402011207]")
![【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01pFHdwA28LaOqn2upT_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]")
![【3-4周达】Semantic Information Modeling in Formalized Languages [9781304513595]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN015Iovdn28LaOqH0Ft7_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Semantic Information Modeling in Formalized Languages [9781304513595]")
![【3-4周达】Formalized Natural Languages [9781304603760]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01Dznavy28LaP0ZL1wE_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Formalized Natural Languages [9781304603760]")
![【3-4周达】精装 Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9780857298072]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01lY2ZgT28LaPk11Vbk_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Computational Logic and Set Theory : Applying Formalized Logic to Analysis [9780857298072]")
![按需印刷不退不换Semantic Information Modeling in Formalized Languages[9781304513595]](http://tupian.y866.cn/picture/pic18906391/tu9/O1CN01XQ7JJS1a4SIfcWqaf_!!0-item_pic.jpg "按需印刷不退不换Semantic Information Modeling in Formalized Languages[9781304513595]")
