-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
反基础公理的逻辑研究-国家哲学社会科学成果文库 版权信息
- ISBN:9787516176313
- 条形码:9787516176313 ; 978-7-5161-7631-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
反基础公理的逻辑研究-国家哲学社会科学成果文库 本书特色
由李娜*的《反基础公理的逻辑研究(精)》包含三编,**编为用图刻画的各种反基础公理系统(zfc ˉ afa(或者safa、fafa以及反基础公理家族afa~) )建立不同的集论模型,从而证明各种反基础公理与 zfcˉ的相对协调性。第2编修正、完善和丰富了巴威斯(j.barwise)等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录?br/>附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文?br/>
反基础公理的逻辑研究-国家哲学社会科学成果文库 内容简介
本书包含三编:第Ⅰ编:为用图的方法为刻画非良基集合论系统ZFC/ AFA(或者SAFA、FAFA以及反基础公理家族AFA~)建立了三种模型,从而证明各种反基础公理与ZFC?(=ZFC-FA)的相对协调性。第Ⅱ编:基于线性方程组和它的解之间的关系,修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理--解引理理论。第Ⅲ编:包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。
反基础公理的逻辑研究-国家哲学社会科学成果文库 目录
反基础公理的逻辑研究-国家哲学社会科学成果文库 作者简介
李娜,女,1958年生,河南开封市人。研究方向:现代逻辑。中国逻辑学会会员。现任南开大学哲学院逻辑教研室教授、博士生导师。主持多项省级或国家级社会科学研究项目。
- >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥34.1¥48.0 - >
姑妈的宝刀
姑妈的宝刀
¥9.0¥30.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
李白与唐代文化
李白与唐代文化
¥8.9¥29.8 - >
唐代进士录
唐代进士录
¥25.5¥39.8 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8
-
求解思维的逻辑
¥7.5¥15 -
逻辑思考的100个关键:脑hack大全
¥17¥46.8 -
简单的逻辑学:逻辑学入门很简单
¥9.6¥36 -
逻辑新引.怎样判别是非
¥23.1¥49 -
逻辑学十五讲-(第二版)
¥26.4¥59 -
逻辑迷宫
¥52.8¥72
网络文学三十年研究成果目录集成
¥157.5¥210.0