无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/邢滔滔著

出版发行项:

北京:北京大学出版社,2008

ISBN及定价:

978-7-301-11255-7/CNY28.00

载体形态项:

274页;23cm

丛编项:

博雅大学堂.哲学

个人责任者:

邢滔滔 著

学科主题:

数理逻辑-高等教育-教材

中图法分类号:

O141

随书附盘:

一般附注:

普通高等教育“十一五”国家级规划教材

提要文摘附注:

本书介绍一阶逻辑的最基本的知识技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

豆瓣简介：