逻辑——从三段论到不完全性定理
《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
完全性
心血管慢性完全性闭塞病变的介入治疗
《心血管慢性完全性闭塞病变的介入治疗》,作者:George D. Dangas，Roxana Mehran，Jeffrey W. Moses主编；王勇，郑金刚主译 出版社:科学出版社 ISBN:9787030233226。本书对心血管慢性完全性闭塞病变治疗的新技术和器械进行了较为详细的介绍和总结。内容包括导丝的选择、前向和逆向方法的介绍．其中包括STAR技术和CART技术；同时介绍了当介入治疗遇到
