数理逻辑基础

本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算而推出亚里士多德逻辑．第三章为狭义谓词演算，对该演算作出公理体系，同样讨论其不矛盾性、完备性及独立性，对判定问题作简单而详尽的介绍．第四章为广义谓词演算，详细介绍逻辑悖论产生的状况，因而须用类型论加以解决，最后并举例详细释明类型（层次）演算在数学方面的应用．