机读格式显示(MARC)

• 000 01244nam 2200289 450

• 001 0000765101

• 005 20200506090900.0

• 010 __ |a 978-7-309-14019-4 |d CNY36.00

• 100 __ |a 20191028d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 初等模型论 |A chu deng mo xing lun |f 姚宁远著

• 210 __ |a 上海 |c 复旦大学出版社 |d 2018

• 215 __ |a 238页 |d 24cm

• 225 2_ |a 逻辑与形而上学教科书系列 |A luo ji yu xing er shang xue jiao ke shu xi lie

• 314 __ |a 姚宁远, 2015年获得中山大学博士学位, 并于同年进入复旦大学哲学学院担任讲师, 2017年在法国高等科学研究所做博士后研究。

• 320 __ |a 有书目 (第231-232页) 和索引

• 330 __ |a 本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim-Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。本书面向数学系和哲学系的本科生和研究生。相对于其他的模型论教材, 本书包含大量的数学实例, 使得具有数学背景的学生更易于理解原理背后的动机。

• 410 _0 |1 2001 |a 逻辑与形而上学教科书系列

• 606 0_ |a 模型论 |A mo xing lun |x 高等学校 |j 教材

• 690 __ |a O141.4 |v 5

• 701 _0 |a 姚宁远 |A yao ning yuan |4 著

• 801 _0 |a CN |b HDUL |c 20200506

• 905 __ |a HDUL |d O141.4/4332

• 920 __ |a 233030 |z 1