机读格式显示(MARC)

• 000 00893nam0 2200277 450

• 001 0000414228

• 005 20141017091300.0

• 010 __ |a 978-7-5620-4916-6 |d CNY24.00

• 100 __ |a 20130918d2013 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 逻辑中的表列方法 |9 luo ji zhong de biao lie fang fa |d Tableau methods for logics |f 孔红著 |z eng

• 210 __ |a 北京 |c 中国政法大学出版社 |d 2013

• 215 __ |a 236页 |d 21cm

• 300 __ |a 中国政法大学人文社会科学研究项目

• 330 __ |a 本书是对逻辑表列方法和表列系统基本内容的介绍。主要内容包括：表列方法及其发展、命题逻辑的表列方法、一阶逻辑的表列方法等。

• 333 __ |a 一般读者

• 510 1_ |a Tableau methods for logics |z eng

• 606 0_ |a 逻辑方法

• 690 __ |a B81 |v 5

• 690 __ |a B81 |v 4

• 701 _0 |a 孔红 |9 kong hong |f (1969-) |4 著

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

• 905 __ |a ZPHC |d B81/105