数理逻辑基础

《数理逻辑基础（上册）》是由科学出版社于1981年1月出版的一本图书，作者是胡世华、陆钟万。

内容简介

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础.

《数理逻辑基础》由科学出版社出版。《数理逻辑基础》前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，《数理逻辑基础》也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。