机读格式显示(MARC)

• 000 01355nam0 2200337 450

• 001 0000531427

• 005 20200912093500.0

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

• 100 __ |a 20190416e20191994em y0chiy0110 ba

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a Mathematical logic |A Mathematical Logic |d = 数理逻辑 |f H.D. 埃宾豪斯(H.D. Ebbinghaus), J. 弗卢姆(J. Flum), W. 托马斯(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定理以及逻辑程序设计的基础这些经典的知识点。

• 510 1_ |a 数理逻辑 |z chi

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

• 690 __ |a O141 |v 5

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

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

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

• 801 _0 |a CN |b LIB |c 20200912

• 905 __ |a LIB |d O141/40