大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑
名称 数理逻辑
索引号 O141/20095
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 邢滔滔、
出版社 北京 : 北京大学出版社, 2008
ISBN 978-7-301-11255-7
页数 274页 ; 23cm
价格 CNY28.00
标签 数理逻辑、数学、逻辑学、逻辑、哲学、教材、逻辑-哲学、语义、
简介
注解 本书介绍一阶逻辑的最基本的知识技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。 普通高等教育“十一五”国家级规划教材
作者简介

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

书籍简介

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