数理逻辑基础（下册）认领

本書是數理邏輯的有名經典著作之一，內容包括四章： 第一章爲命題演算，介紹基本邏輯聯結詞及其各種

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和

本书是普通高等教育“十五”国家级规划教材，也是高等教育百门精品课程教材建设计划的精品项目研究成果。本