是研究离散数学的一本不可多得的好书，特别是在形式化证明技术及语言翻译的基础理论方面较一般的书籍有着更多更深入的阐述。