文献类型:专著 浏览次数:2
  • 题名:公理化真理论研究
  • 责任者:李娜, 李晟著
  • 出版社北京师范大学出版社
  • 出版年:2023.05
  • ISBN:978-7-303-28954-7
  • 定价:98.00
  • 载体形态项:11, 11, 354页 24cm
  • 个人责任者:李娜著、李晟著
  • 学科主题:公理化
  • 中图法分类号:G304
  • 提要文摘附注:本书内容包括三方面:第一个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通类型 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码