机读格式显示(MARC)

• 000 01015oam2 2200289 450

• 001 0000236573

• 005 20101103090300.0

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

• 100 __ |a 20100712d2010 em y0chiy0110 ea

• 101 1_ |a chi |c dut

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

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

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

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

• 225 2_ |a 逻辑之门——约翰·范本特姆经典著作 |v 3

• 330 __ |a 本书分为模态逻辑和经典逻辑、模态对应理论新进展两篇。分别讲述了：模态命题逻辑的简要概述、模态公式的一阶可定义性、模态可定义性等。

• 461 _0 |1 2001 |a 逻辑之门——约翰·范本特姆经典著作 |v 3 |1 701 0 |a 刘奋荣 |4 主编

• 606 0_ |a 模态逻辑 |j 文集

• 606 0_ |a 模态逻辑

• 690 __ |a B815.1 |v 4

• 701 _1 |c (荷) |a 范本特姆 |9 fan ben te mu |b 约翰 |4 著

• 702 _0 |a 张清宇 |9 zhang qing yu |4 译

• 702 _0 |a 刘新文 |9 liu xin wen |4 译

• 801 _0 |a CN |b RENTIAN |c 20100712

• 905 __ |a ZPHC |d B815.1/3