机读格式显示(MARC)

• 000 01528nam0 2200325 450

• 001 0000319530

• 005 20201117105300.0

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

• 100 __ |a 20190428e2019 em y0chiy50 ba

• 101 0_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A Shuo Li Luo Ji

• 205 __ |a 影印版

• 210 __ |a 北京 |c 世界图书出版有限公司北京分公司 |d 2019.03

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

• 312 __ |a 中文题名取自版权页

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

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

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

• 330 __ |a 本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明, 这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明。本书从一阶逻辑以及它在数学基础中的作用的讲述开始, 深入阐述了Trachtenbrot的不可判定性理论, 基础等值理论的Fraisse特性, 一阶逻辑最大化的Lindstrom定理以及逻辑程序设计的基础这些经典的知识点。目次: 引论 ; 一阶语言句法 ; 一阶语言语义学 ; 完备理论 ; Lowenheim-Skolem理论和紧性定理 ; 一阶逻辑 ; 语义解释与范式 ; 一阶逻辑的扩展 ; 规范方法的局限性 ; 自由模型与逻辑程序设计 ; 基础等值理论的代数特性 ; Lindstrom定理。

• 510 1_ |a Mathematical logic

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 英文

• 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 安徽时代 |c 20191113

• 905 __ |a AUSTL |d O141/A149