切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
李娜.反基础公理的逻辑研究[M].北京：中国社会科学出版社,2016
MLA 格式引文
李娜.反基础公理的逻辑研究.北京,中国社会科学出版社:2016E-book.
APA 格式引文
李娜(2016).反基础公理的逻辑研究.北京：中国社会科学出版社
反基础公理的逻辑研究
A Logical Study of Anti-Foundation Axioms
中图法分类：
出版单位：
关键词：
图书简介
《反基础公理的逻辑研究》包含三编，第Ⅰ编：为用图刻画的各种反基础公理系统（ZFC-+AFA（或者SAFA、FAFA以及反基础公理家族AFA～））建立不同的集论模型，从而证明各种反基础公理与ZFC-的相对协调性。第Ⅱ编：修正、完善并丰富了巴威斯（J.Barwise）等人用代数方法——方程组刻画的反基础公理——解引理的理论。第Ⅲ编：包括两个附录。附录1——给出了结构之间的互模拟理论。附录2——给出了项目研究期间发表的四篇论文。
作者简介
图书目录
相关推荐
-
图书 STIT逻辑研究
作者：贾青
图书 STIT逻辑研究
-
2
图书 墨经逻辑研究
作者：杨武金
图书 墨经逻辑研究
-
3
图书 汉传因明的逻辑研究
作者：傅光全
图书 汉传因明的逻辑研究
-
4
图书 确证难题的逻辑研究
作者：顿新国
图书 确证难题的逻辑研究
-
5
图书 法律逻辑与侦查逻辑研究
作者：印大双
图书 法律逻辑与侦查逻辑研究
-
6
图书 中国表示法及其逻辑研究
作者：杜国平
图书 中国表示法及其逻辑研究
-
7
图书 教师个人教学逻辑研究
作者：董静 彭寿清 冉隆锋
图书 教师个人教学逻辑研究
-
8
图书 防策略投票理论的逻辑研究
作者：孙雯
图书 防策略投票理论的逻辑研究
-
9
图书 科学、技术与社会视角下的逻辑研究
作者：臧艳雨
图书 科学、技术与社会视角下的逻辑研究
-
10
图书 语言无羁：汉语言符号的网络再生与生成逻辑研究
作者：曹进 靳琰 白丽梅
图书 语言无羁：汉语言符号的网络再生与生成逻辑研究
豆瓣评论