作者	邢滔滔
标签	数学,逻辑,哲学
出版社	北京大学出版社
作者介绍	邢滔滔，北京大学哲学系副教授

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