机读格式显示(MARC)

• 000 00887oam2 22002651 450

• 001 0000475932

• 005 20180324102825.0

• 010 __ |a 978-7-03-046421-7 |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 228页 |d 24cm

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

• 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 著