| 《数理逻辑基础》 胡世华、陆钟万合著。科学出版社1981年、1982年出版。分上、下两册。以数理逻辑学科基础的经典命题逻辑和一阶谓词逻辑为基本内容，还论述了逻辑演算如何应用于陈述具体的数学理论，构造了初等代数、自然数论、集合论和实数理论的形式系统，并研究了在形式系统中引进形式符号定义的问题。该书的一个显著特点是按照直接而自然地反映推理关系的要求来构造自然推理系统。在构造带函数词的谓词逻辑方面，也作了新的探索，给出了两种不同的系统，其中一种的函数词仅表示全函数，另一种的函数词可表示全函数或偏函数(即在论域中并非处处有定义的函数)。 |