《笑话、幽默与逻辑(第5版)》将幽默逻辑同生活中的笑话小故事结合起来，通过普通的小事中，将逻辑的火花闪现在你的面前。逻辑是一门思维的学科，是一门同人们的日常生活紧密相连的新兴人文科学应用性交叉学科，我们对其探索和研究从一开始就注意到应将科研、教学、普及、应用结合起来。《笑话、幽默与逻辑(第5版)》就是这种有意义探索的最佳典范。

《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem， which shows that the consequence relation coincides with formal provability： By means of a calculus consisting of simple formal inference rules， one can obtain all consequences of a given axiom system (and in particular， imitate all mathematical proofs)