现代逻辑学讲义数理逻辑

【书名】 现代逻辑学讲义数理逻辑
【作者】 李小五编
【出版社】 广州中山大学出版社
【出版时间】 2005.09
【关键词】 逻辑学科高等学校数理逻辑学科高等学校逻辑数理逻辑
【摘要描述】 本书分为引论、句形的基本性质、公理化系统、二值语义与系统性质等四章,介绍了句子逻辑的基本内容和量化逻辑的基础一阶逻辑的基本内容。
【中国图书分类号】 B81;O141

在线工具导航