作者	[美]AnilNerode，
出版社
出版时间	2006-01-01

特色：

本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念，系统介绍了集合论基础知识，并对该主题提供历史综述。