| 字段 | 字段内容 |
|---|---|
| 001 | 01h0124507 |
| 005 | 20180514101800.0 |
| 010 | $a: 978-7-03-053081-3$d: CNY78.00 |
| 099 | $a: CAL 012017122168 |
| 100 | $a: 20180514d2018 em y0chiy0121 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 110000 |
| 105 | $a: a a 001yy |
| 106 | $a: r |
| 200 | $a: 临界的传递逻辑$A: lin jie de chuan di luo ji$e: 模态逻辑的濒表格性问题探究$f: 杜珊珊等著 |
| 210 | $a: 北京$c: 科学出版社$d: 2017.07 |
| 215 | $a: 244页$c: 图$d: 24cm |
| 300 | $a: 国家社科基金后期资助项目 |
| 320 | $a: 有书目 (第187-191页) 和索引 |
| 330 | $a: 本书内容包括: 点式归约初探 ; 传递逻辑格中有穷深度濒表格逻辑的语义判据 ; 传递逻辑格中无穷深度濒表格逻辑的语义判据 ; 淑表格逻辑语义判据的应用等。 |
| 517 | $a: 模态逻辑的濒表格性问题探究$A: mo tai luo ji de bin biao ge xing wen ti tan jiu |
| 606 | $a: 模态逻辑$A: mo tai luo ji$x: 研究 |
| 690 | $a: B815.1$v: 5 |
| 701 | $a: 杜珊珊$A: du shan shan$4: 著 |
| 801 | $a: CN$b: XIPT$c: 20180514 |
| 905 | $d: B815.1$r: CNY78.00$e: 2 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第21836317位用户访问本系统