扫一扫
关注中图网
官方微博
出版社：
- 南开大学出版社(2)
- 南开大学出版社(2)
- 中国社会科学出版社(1)
- 中国社会科学出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 北京联合出版公司(1)
- 北京联合出版公司(1)
- 科学出版社(1)
- 科学出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 北京联合出版公司(1)
- 北京联合出版公司(1)
- 科学出版社(1)
- 科学出版社(1)
- 南开大学出版社(2)
- 南开大学出版社(2)
- 中国社会科学出版社(1)
- 中国社会科学出版社(1)
售价：
-
反基础公理的逻辑研究-国家哲学社会科学成果文库
¥53.2(7折)定价:¥76.0本书包含三编：第Ⅰ编：为用图的方法为刻画非良基集合论系统ZFC/ AFA（或者SAFA、FAFA以及反基础公理家族AFA~）建立了三种模型，从而证明各种反基础公理与ZFC?（=ZFC-FA）的相对协调性。第Ⅱ编：基于线性方程组和它的解之间的关系，修正、完善和丰富了巴威斯（J.Barwise）等人用代数方法——方程组刻画的反基础公理--解引理理论。第Ⅲ编：包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研
-
-
-
-
-
南开哲学教材系列实验逻辑学(第2版)/南开哲学教材系列
¥41.8(7.2折)定价:¥58.0本书是一部为高等院校实验逻辑学教学而编写的通用教材，是在该书版的基础上修订而成。全书共分为两编十六章：编“LPL(语言、证明和逻辑)软件介绍”分三章，主要介绍了本书所用到的软件--“塔斯基世界”,?第二编“实验逻辑学”包括四至十六章，分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等...
