《数理逻辑基础》
胡世华、陆钟万著,科学出版社1981年出版,19万字。本书介绍数理逻辑的基础,包括逻辑演算的基本内容,这些内容是数理逻辑各个分支的共同的基础。全书分上、下两册。上册包括绪论、第一章和第二章。在绪论中说明了数理逻辑的性质和逻辑演算的大体内容,并且简要介绍了阅读本书各章所需要的关于集论和数字归纳法的预备知识。第一章构造了命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则。第二章研究了逻辑演算的重要系统特征,包括等值公式的可替换性、连接词的完备性、代人、范式和对偶性等。本书的一个显著特点是按照直接而自然地反映演绎推理的要求构造逻辑演算。书 ...... (共495字) [阅读本文]>>