初等模型论（逻辑与形而上学教科书系列）_姚宁远_9787309140194_北京普习文化传播有限公司

关于我们

新书资讯

·二十四节气｜立秋

·二十四节气｜小暑

·建党105周年——不忘初心砥砺前

·父亲节 | 山河不语父爱如山：祝

·二十四节气｜芒种

·六一快乐，书香相伴度童年

·二十四节气｜小满

·母亲节 | 时光不语母爱无言：祝

新书推荐

·时间的力量

·内心知道答案

·敦煌传

·安睡密码

·荣格心理学

·Python数据可视化开发实战

·历史的裂痕与文学的回应

·何处寻春

初等模型论（逻辑与形而上学教科书系列）

初等模型论（逻辑与形而上学教科书系列）

定　　价：36 元

作者：姚宁远
出版时间：2018/11/1
ISBN：9787309140194
出版社：复旦大学出版社

中图法分类：O141.4
页码：
纸张：胶版纸
版次：
开本：16开
商品库位：

9

7

1

8

4

7

0

3

1

0

9

9

4

内容简介

本书从一阶逻辑的语法和语义开始，介绍了紧致性定理、LwenheimSkolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

你还可能感兴趣

我要评论