安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论/李涛, 张岩, 刘峰主编

出版发行项:

哈尔滨:哈尔滨工业大学出版社,2011.11

ISBN及定价:

978-7-5603-3411-0/CNY16.00

载体形态项:

139页;21cm

个人责任者:

刘峰 主编

个人责任者:

张岩 主编

个人责任者:

李涛 主编

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

书目附注:

有书目

提要文摘附注:

本书共分5章, 分别介绍数理逻辑的研究对象、研究内容和研究方法 ; 命题逻辑的基本概念、命题逻辑演变形式系统的组成、基本定理及其性质定理等。

豆瓣简介：