题名:	逻辑设计基础 / (美)(Charles H.Roth,Jr.) ,
ISBN:	7-111-12351-4 价格： CNY68.00
载体形态:	11,456页 24cm
出版发行:	出版地：北京出版社：机械工业出版社出版日期： 20060101
内容提要:	本书是一本结合逻辑在计算科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。同时系统地介绍了集合论基础知识，并对该主题提供了历史综述。
主题词:	数理逻辑
中图分类法:	TP302.2 版次：