数理逻辑

剧情简介：本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

标签：数理逻辑 / 逻辑学 / 数学 / 逻辑 / 哲学 / 符号学

作者：邢滔滔

出版社：北京大学出版社

ISBN：9787301112557