机读格式显示(MARC)
- 000 01249oam2 2200313 450
- 010 __ |a 7-5004-2076-5 |d CNY35.00
- 100 __ |a 20100512e20051998em y0chiy0110 ea
- 200 1_ |a 形式语义学引论 |A Xing Shi Yu Yi Xue Yin Lun |d = Introduction to Formal Semantics |f 蒋严,潘海华著 |F Jiang Yan , Pan Hai Hua Zhu |z eng
- 210 __ |a 北京 |A Bei Jing |c 中国社会科学出版社 |C Zhong Guo She Hui Ke Xue Chu Ban She |d 1998 |h 2005重印
- 330 __ |a 本书内容包括:语义、真值与逻辑;逻辑演算;Cp系统和语义解释;对Cp系统的扩展、类型论初步;量词、辖域与逻辑依存;广义量词;时间、时制与时态;对时间的量化与限制、量化类型及其三分结构等。
- 461 _0 |1 2001 |a 当代语言学理论丛书 |1 701 0 |a 黄正德 |4 主编
- 510 1_ |a Introduction to Formal Semantics |z eng
- 701 _0 |a 蒋严 |A Jiang Yan |4 著
- 701 _0 |a 潘海华 |A Pan Hai Hua |4 著
- 801 _0 |a CN |b BTZL |c 20100512
- 905 __ |a SXDTDX |d H030/1(2)
- 985 __ |a Z001924 |h |m 订购 |r |d 35 |b 外语学院资料室 |y |c |e 0 |a Z001925 |h |m 订购 |r |d 35 |b 外语学院资料室 |y |c |e 0