机读格式显示(MARC)

• 000 00779nam0 2200253 450

• 001 0000234243

• 005 20131231125000.0

• 010 __ |a 978-7-03-038928-2 |d CNY88.00

• 100 __ |a 20131119d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 论联合演算 |A lun lian he yan suan |f 马雷著

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

• 215 __ |a 314页 |c 图 |d 24cm

• 320 __ |a 有书目 (第310-311页)

• 330 __ |a 本书系统研究和发展了联合演算的理论与方法, 废弃了联合演算的原初判定标准, 提出解决判定问题的结构判定法和范式判定法等。

• 606 0_ |a 逻辑哲学 |A luo ji zhe xue |x 研究

• 690 __ |a B81-05 |v 5

• 701 _0 |a 马雷, |A ma lei |f 1965- |4 著

• 801 _0 |a CN |b 人天书店 |c 20131119

• 905 __ |a LJUZC |d B81-05/7

• 920 __ |a 222016 |z 1