Name: 初等模型论
ISBN: 9787309140194

作者: 姚宁远
出版社: 复旦大学出版社
出版年: 2019-11-1
ISBN: 9787309140194
装帧: 平装
定价: 36.00元
丛书: 逻辑与形而上学教科书系列

豆瓣评分

8.5

18人评价

5星

50.0%
4星

33.3%
3星

11.1%
2星

5.6%
1星

0.0%

评价:

内容简介 · · · · · ·

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

丛书信息 · · · · · ·

　　逻辑与形而上学教科书系列(共7册)，这套丛书还有《作为哲学的数理逻辑》《数理逻辑》《数理逻辑（第二版）》《集合论》《递归论》等。

喜欢读"初等模型论"的人也喜欢 · · · · · ·

: 集合论导引（第三卷）高阶无穷 9.2

: 集合论导引 9.3

: The Higher Infinite

: 逻辑、信息和互动

: 模型论基础 7.1

: Model Theory 8.3

: 模态逻辑教程 9.0

: 哥德尔纲领 8.9

: A Mathematical Introduction to Logi... 8.7

: 作为哲学的数理逻辑 7.6

我来说两句

短评 · · · · · · ( 全部 3 条 )

初等模型论的书评 · · · · · · ( 全部 1 条 )

读姚宁远之《初等模型论》

姚宁远. 初等模型论. ISBN: 978-7-309-14019-4 这本《初等模型论》是《逻辑与形而上学教科书系列》中我读得最费劲的一本。坦白来说这本书我基本是完全没有读懂。不知道是因为介绍的内容太过高深还是作者写得比较生涩，我打开这本书后很快就陷入了一堆不认识的符号中。再加上作... (展开)

0回应

> 更多书评 1篇