作者	孙吉贵
出版社
出版时间	2002-08-01

特色：

本书共分9章，内容包括：集合论基础、命题逻辑和谓词逻辑、图论与网络、数论基础、近世代数、有限状态机和图灵机的内容。