大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/毕富生著

出版发行项:

北京:高等教育出版社,2004

ISBN及定价:

7-04-013798-4/CNY10.30

载体形态项:

247页;20cm

个人责任者:

毕富生 著

学科主题:

数理逻辑

中图法分类号:

O141

提要文摘附注:

本书尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容，对其中的自然推理系统作了详细介绍，力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。

豆瓣简介：