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

关于我们

书单推荐

·气清景明万物皆显│清明荐

·向阳生长不负春光│春分节气

·电子工业出版社社科类推荐书

·电子工业出版社科技类推荐书

·电子工业出版社经管类推荐书

·植树节荐读书目

·国际劳动妇女节荐读书目

·知识产权出版社重点推荐书目

新书推荐

·一本书读懂30部社会学名著

·通信电子战工程

·DK时间线上的全球史

·共享现实：是什么让我们成为

·陈光中口述自传

·见证逆潮全球资产逻辑大变局

·AI绘画全面精通：软件平台+脚

·高通量多尺度材料计算和机器

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

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

定　　价：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定理等内容。

你还可能感兴趣

我要评论