| 字段 | 字段内容 |
|---|---|
| 001 | 01h0122822 |
| 005 | 20180110093817.0 |
| 010 | $a: 978-7-03-048620-2$d: CNY65.00 |
| 090 | $a: B815$b: ycj |
| 096 | $a: B815$b: ycj |
| 100 | $a: 20160727d2016 em y0chiy50 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 110000 |
| 105 | $a: y z 000yy |
| 106 | $a: r |
| 200 | $a: 互模拟理论的逻辑研究$9: hu mo ni li lun de luo ji yan jiu$b: 专著$d: The studies of the logic of bisimulation$f: 姚从军著$z: eng |
| 210 | $a: 北京$c: 科学出版社$d: 2016 |
| 215 | $a: 188页$d: 24cm |
| 300 | $a: 国家社科基金项目“互模拟理论的逻辑研究”结项成果 |
| 330 | $a: 本书从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。 |
| 510 | $a: Studies of the logic of bisimulation$z: eng |
| 606 | $a: 模态逻辑$x: 研究 |
| 690 | $a: B815.1$v: 5 |
| 701 | $a: 姚从军$9: yao cong jun$f: (1971~)$4: 著 |
| 801 | $a: CN$b: XIPT$c: 20180110 |
| 905 | $d: B815.1$r: CNY65.00$e: 1 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第21841531位用户访问本系统