机读格式显示(MARC)

• 000 01899nam 2200661 450

• 001 0000221722

• 005 20141224160900.0

• 010 __ |a 978-7-03-040155-7 |b 精装 |d CNY98.00

• 099 __ |a CAL 012014049174

• 100 __ |a 20140416d2014 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A shu li luo ji |e 基本原理与形式演算 |f 李未著

• 205 __ |a 第2版

• 210 __ |a 北京 |c 科学出版社 |d 2014

• 215 __ |a xv, 289页 |d 25cm

• 225 2_ |a 信息科学与技术基础丛书 |A xin xi ke xue yu ji shu ji chu cong shu

• 300 __ |a 中国科学院科学出版基金资助出版

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

• 330 __ |a 本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，歌德尔定理。后五章的内容是作者的研究心得，阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质等。

• 410 _0 |1 2001 |a 信息科学与技术基础丛书

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

• 690 __ |a O141 |v 5

• 701 _0 |a 李未 |A li wei |4 著

• 801 _0 |a CN |b WUL |c 20140416

• 905 __ |a XATU |d O141/22=2

• 920 __ |a 242010 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 211180 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 242170 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 242250 |z 1

• 920 __ |a 211261 |z 1

• 920 __ |a 262010 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 221220 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 211050 |z 1

• 998 __ |a WUL