初等模型论（逻辑与形而上学教科书系列）_姚宁远_9787309140194_网上馆配会

书单推荐

·二十四节气｜立夏

·五一国际劳动节│致敬每一位

·2025年度“中国好书”

·二十四节气｜谷雨

·二十四节气｜清明

·二十四节气｜春分

·国际妇女节|致敬每一位闪光女

·二十四节气｜惊蛰

新书推荐

更多

·马克思国家思想的历史考察

·中国特色生涯教育研究

·数实融合

·我们为什么还没有死掉

·圆的变形

·AI 辅助设计

·从数据分析到经营分析

·国际产业转移的影响因素及动

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

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

定　　价：36 元

当前图书已被 5 所学校荐购过！

查看明细

作者：姚宁远
出版时间：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定理等内容。

你还可能感兴趣

我要评论