熊明
逻辑——从三段论到不完全性定理
《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
塔斯基定理与真理论悖论
《塔斯基定理与真理论悖论》,作者:熊明著 出版社:科学出版社 ISBN:9787030401243。本书梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理论的基本内容，并通过分析其理论对真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。
长江中游江-河-湖泥沙输移及其对人类活动的响应
《长江中游江-河-湖泥沙输移及其对人类活动的响应》,作者:熊明等 著 出版社:科学出版社 ISBN:9787030706041。本书采用近60年来的系列观测资料，对长江中游江湖水沙过程、江湖关系水沙交换、气候变化、大型水利工程、下荆江裁弯、湖区围垦等自然变化及人类活动导致的水沙过程变异及其对江湖关系的影响等方面开展了较为系统的研究，全面反映20世纪50年代以来长江中游江-河-湖泥沙输移规律、不同时
