高等教育出版社。2008年7月 第一部分。数理逻辑 第二部分 集合论

白中英主编，科学出版社出版，具体章节有：第一章开关理论基础第二章组合逻辑第三章时序逻辑第四章存储逻辑...