|
题名:
|
数理逻辑 [ 专著] shu li luo ji / 张清宇主编 , 刘新文，夏素敏编 |
|
ISBN:
|
978-7-5004-8543-8 价格： CNY24.00 |
|
语种:
|
chi |
|
载体形态:
|
128页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国社会科学出版社 出版日期： 2010 |
|
内容提要:
|
本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。 |
|
主题词:
|
数理逻辑 研究生 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
张清宇 zhang qing yu 主编 |
|
次要责任者:
|
刘新文 liu xin wen 编 |
|
次要责任者:
|
夏素敏 xia su min 编 |
|
附注:
|
中国社会科学院研究生重点教材 |