机读格式显示(MARC)

• 000 01099nam0 2200277 450

• 001 0000804609

• 000 389076

• 005 20080722081900.0

• 010 __ |a 978-7-5611-4033-8 |d CNY34.00

• 100 __ |a 20080423d2008 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 210000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论 |9 shu li luo ji yin lun |d Introduction to mathematisal logic |f 朱梧?，肖奚安编著 |z eng

• 210 __ |a 大连 |c 大连理工大学出版社 |d 2008

• 215 __ |a 243页 |d 24cm

• 300 __ |a 高等学校理工科数学类规划教材

• 330 __ |a 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。

• 510 1_ |a Introduction to mathematisal logic |z eng

• 606 0_ |a 数理逻辑 |x 高等学校 |j 教材

• 690 __ |a O141 |v 4

• 701 _0 |a 朱梧? |9 zhu wu jia |4 编著

• 701 _0 |a 肖奚安 |9 xiao xi an |4 编著

• 801 _0 |a CN |b NLIC |c 20080722

• 905 __ |a NLIC |d O141/10