机读格式显示(MARC)

• 000 01310nam0 2200337 450

• 001 0000741717

• 005 20190520105600.0

• 010 __ |a 978-7-5192-5572-5 |d CNY89.00

• 100 __ |a 20190416e20191994em y0chiy50 ba

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A Shu Li Luo Ji |d = Mathematical logic |f H.D. Ebbinghaus, J. Flum, W. Thomas |z chi

• 205 __ |a 影印版

• 210 __ |a 北京 |c 世界图书出版公司 |d 2019

• 215 __ |a x, 289页 |c 图 |d 24cm

• 300 __ |a Undergraduate texts in mathematics 数学经典

• 304 __ |a 题名与责任者取自封面

• 314 __ |a 责任者Ebbinghaus规范汉译姓: 埃宾豪斯; 责任者Flum规范汉译姓: 弗卢姆; 责任者Thomas规范汉译姓: 托马斯

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

• 324 __ |a 影印自原书第2版

• 330 __ |a 本书从一阶逻辑以及它在数学基础中的作用的讲述开始, 深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性, 一阶逻辑最大化的Lindstrom定理以及逻辑程序设计的基础这些经典的知识点。

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校 |x 英文 |j 教材

• 690 __ |a O141 |v 5

• 701 _1 |a 埃宾豪斯 |A ai bin hao si |g (Ebbinghaus H. D.) |4 著

• 701 _1 |a 弗卢姆 |A fu lu mu |g (Flum J.) |4 著

• 701 _1 |a 托马斯 |A tuo ma si |g (Thomas W.) |4 著

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

• 905 __ |a HDUL |d O141/4302

• 920 __ |a 233030 |z 1