《数理逻辑》是2008年北京大学出版社出版的图书,作者是邢滔滔。

本页面主要目录有关于数理逻辑的:作品简介等介绍

作者

邢滔滔

页数

274 页

装帧

简装

出版时间

2008年8月

出版机构

北京大学出版社

定价

28 元

ISBN

9787301112557

作品简介

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