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