机读格式显示(MARC)

• 000 00919oam2 22002651 450

• 001 0000475933

• 005 20180324102825.0

• 010 __ |a 978-7-03-046422-4 |d CNY98.00

• 096 __ |a O14 |b hsh

• 100 __ |a 20170518e2015 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑基础 |h 下册 |f 胡世华，陆钟万著

• 205 __ |a [影印本]

• 210 __ |a 北京 |c 科学出版社 |d 2015h2016印

• 215 __ |a 229-434页 |d 24cm

• 225 2_ |a 现代数学基础丛书 |e 典藏版 |v 2

• 330 __ |a 本套书分上、下两册，介绍数理逻辑的基础知识，包括逻辑演算的基本内容，这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。下册内容包括：重言式、可靠性和完备性、形式数学系统、附录一是命题量词、附录二是斜形证明、符号汇编。

• 461 _0 |1 0010199047433

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 5

• 701 _0 |a 胡世华 |f (1912~1998) |4 著

• 701 _0 |a 陆钟万 |f (1924~) |4 著