这是美籍学者王浩于1977年10月在中同科学院计算机所作六次演讲的基础上写成的。全书共有八章和三个附录:内容涉及数理逻辑的各个分支,与数理逻辑有关的计算机科学的一些理论问题。其中一些内容侧重从基础理论角度论述数理逻辑,有些则是论述数理逻辑的最重要的结果和最新发现。书中还设专节耐数理逻辑发展文献作了述评。
科学出版社1981年版,21万字。