(美)雷蒙德 M.斯穆里安著;余俊伟译2019 年出版164 页ISBN:9787030596345
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理,包括纯抽象的不完全性定理,使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理,哥德尔当初...
陈家军,赵岩,马俊伟著2019 年出版134 页ISBN:9787030593115
为改善农村人居环境,减少村镇陆域生活污染和工矿污染,以垃圾废弃地和工矿废弃地为潜在的环境风险源,开展适合中国北方农村的经济有效的污染场地(废弃地)生态修复技术研发和示范。针对村镇生态系统退化,受损生态.....