机读格式显示(MARC)

• 000 01258nam2 2200337 4500

• -01 __gzk0823130

• -09 __zyk0217974

• -98 __bm9

• -99 __tsg01

• 001 0000217949

• 005 20120913162320.5

• 010 __ |a 978-7-303-13602-5 |d CNY30.00

• 100 __ |a 20120913d2012 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a k a 001yy

• 106 __ |a r

• 200 1_ |a 模型论及其在计算机科学中的应用 |A Mo Xing Lun Ji Qi Zai Ji Suan Ji Ke Xue Zhong De Ying Yong |f 北京师范大学数学科学学院主编 |g 罗里波编著

• 210 __ |a 北京 |c 北京师范大学出版社 |d 2012.1

• 215 __ |a 300页 |d 23cm

• 225 2_ |a 新世纪高等学校教材 |i 数学与应用数学基础课系列教材

• 320 __ |a 有书目 (第295-297页)

• 330 __ |a 本书共分为二十章, 主要内容包括: 模型论的发生与发展 ; 关于集合论的准备知识 ; 模型论的形式语言 ; 模型的基本性质 ; 紧致性定理与LST定理 ; 初等予模型与模型完全的理论等。

• 410 _0 |1 2001 |a 新世纪高等学校教材 |i 数学与应用数学基础课系列教材

• 606 0_ |a 模型论 |A Mo Xing Lun |x 应用 |x 计算机科学 |x 高等学校 |j 教材

• 690 __ |a TP301 |v 4

• 702 _0 |a 罗里波 |A Luo Li Bo |4 编著

• 711 02 |a 北京师范大学 |A Bei Jing Shi Fan Da Xue |b 数学科学学院 |4 主编

• 801 _0 |a CN |b 安徽新华 |c 20120913

• 905 __ |a ASTU |d TP301/32

• 915 __ |b 2072878-9 |d TP301 |e 32 |f 2