初等模型论（逻辑与形而上学教科书系列）_姚宁远_9787309140194_第30届全国图书交易博览会网上选书平台

关于我们

书单推荐更多

·二十四节气｜冬至

·二十四节气｜白露

·二十四节气｜处暑

·二十四节气｜立秋

·二十四节气｜大暑

·二十四节气｜夏至

·科学出版社精品典藏

·清华大学出版社—2024年度好

新书推荐更多

·《中国经济学(2025年第2辑总

·《高速阅读法：用学到的知识

·《行为博弈》

·《神经网络设计与应用》

·《精准落实》

·《新生物学本质主义研究》

·《赏文物话中医》

·《把热爱变成事业》

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

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

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

你还可能感兴趣