计算机科学中的现代逻辑学

定　价：¥28.00

作　者：	王元元编著
出版社：	科学出版社
丛编项：
标　签：	电子计算机

购买这本书可以去

当当网 (¥23.80)

ISBN：	9787030010674	出版时间：	1989-01-01	包装：	平装
开本：	26cm	页数：	266页	字数：

内容简介

　　1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。