机读格式显示(MARC)

• 000 00862nam2 2200253 45

• 001 0000120494

• 005 20051125151200.0

• 010 __ |a 7-300-04942-7 |d CNY19.00

• 100 __ |a 20031017d2003 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑基础 |b 专著 |e 一阶逻辑与一阶理论 |f 陈慕泽，余俊伟著 |A shu li luo ji ji chu

• 210 __ |a 北京 |c 中国人民大学出版社 |d 2003

• 215 __ |a 244页 |d 23cm

• 300 __ |a 21世纪哲学系列教材

• 330 __ |a 一阶逻辑是数理逻辑的基础，是数理逻辑最具直接应用价值的部分。本书内容包括绪论，一阶逻辑：命题逻辑、谓词逻辑、命题演算、谓词演算，一阶理论。

• 517 1_ |a 一阶逻辑与一阶理论 |A yi jie luo ji yu yi jie li lun

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 _0 |a 余俊伟 |c (哲学博士) |4 著 |A yu jun wei

• 801 _0 |a CN |b ZPHC |c 20051125

• 905 __ |a ZPHC |d O141/2