题名:数理逻辑
作者:邢滔滔著
出版年:2008
ISBN: 978-7-301-11255-7
分类号: O141
中图分类: 数理逻辑（符号逻辑）
定价: 28.00元
页数: 274 页
出版社: 北京大学出版社
装订: 简

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

邢滔滔，北京大学哲学系副教授