|
题名:
|
元数学基础 / 冯琦著 , |
|
ISBN:
|
978-7-03-083675-5 价格： CNY168.00 |
|
语种:
|
chi |
|
载体形态:
|
x, 385页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2025 |
|
内容提要:
|
本书分三卷。第三卷在前两卷的基础上建立完整CFZFC概念文字系统，分为三章。第九章引入一阶逻辑形式系统；第十章引入一阶逻辑语义解释系统；第十一章引入完整CFZFC概念文字系统。本卷在无穷公理基础上进一步表明由此而来的彻底有限集合正好是一阶逻辑语言符号的资源所在；同时，本也将塔尔斯基(AlfredTarski，1901-1983)的语义解释方案以及真实性定义纳入CFZFC。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 5 |
|
其它题名:
|
CFZFC概念文字 |
|
主要责任者:
|
冯琦 著 |
|
附注:
|
国家出版基金项目 “十四五”时期国家重点出版物出版专项规划项目 |