ISBN/价格: | 978-7-03-051962-7:CNY98.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 算术、真与悖论/.熊明著 |
出版发行项: | 北京:,科学出版社:,2017.3 |
载体形态项: | 12,260页:;+彩照:;+24cm |
丛编项: | 国家哲学社会科学成果文库 |
相关题名附注: | 封底英文题名:Arithmetic, truth and paradoxes |
提要文摘: | 本书分三编,主要内容包括:集与序;形式算术;原始递归函数与递归函数;哥德尔编码及相关函数;层次理论;克林强三值赋值与克里普克不动点定理;超赋值与最小不动点;T-模式与说谎者;悖论的悖论度等。 |
并列题名: | Arithmetic, truth and paradoxes eng |
题名主题: | 真理 研究 |
题名主题: | 逻辑学 悖论 研究 |
中图分类: | B023.3 |
中图分类: | B81 |
个人名称等同: | 熊明 著 |
记录来源: | CN BJSZM 20180116 |