机读格式显示(MARC)

• 000 00960nam0 2200265 450

• 001 0000298137

• 005 20160803094800.0

• 010 __ |a 978-7-03-027865-4 |b 精装 |d CNY56.00

• 100 __ |a 20160801d2010 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 模态对应理论 |A mo tai dui ying li lun |b 专著 |f (荷)约翰·范本特姆著 |g 张清宇， 刘新文译

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

• 215 __ |a 10,250页 |d 24cm

• 300 __ |a 逻辑之门——约翰·范本特姆经典著作 卷Ⅲ/刘奋荣主编

• 330 __ |a 本书分为模态逻辑与经典逻辑、模态对应理论新进展两部分，内容包括：模态命题逻辑的简要概述、模态公示的一阶可定义性、模态可定义性等。

• 606 0_ |a 模态逻辑 |A Mo Tai Luo Ji |x 研究

• 690 __ |a B815.1 |v 4

• 701 _1 |c (荷) |a 范本特姆 |A fan ben te mu |4 著

• 702 _0 |a 张清宇 |f (1944.4~) |A zhang qing yu |4 译

• 702 _0 |a 刘新文 |f (1972~) |A liu xin wen |4 译

• 801 _0 |a CN |b DQNU |c 20160801

• 905 __ |a DQNU |d B815.1/F07-1 |s 3