| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
可能世界的名字, 刘新文,祝瑞著 |
|
|
ISBN:
|
978-7-5161-9962-6 价格： CNY48.00 |
|
语种:
|
chi |
|
题名:
|
可能世界的名字 ke neng shi jie de ming zi / 刘新文,祝瑞著 , |
|
出版发行:
|
出版地： 北京 出版社： 中国社会科学出版社 出版日期： 2017 |
|
载体形态:
|
162页 24cm |
|
责任者附注:
|
刘新文 (1972-),男,江西莲花人。研究方向:现代逻辑。主持多项部级或国家级社会科学研究项目;出版《图式逻辑》《谢弗函数研究》等学术专著。 |
|
责任者附注:
|
祝瑞 (1988-),男,陕西石泉人。研究方向:现代逻辑。现为新西兰奥克兰大学哲学系逻辑学专业博士研究生。合作发表学术论文两篇。 |
|
摘要:
|
本书共分十三章,主要内容包括:可能世界的名字;基本模态逻辑与时态逻辑;基本混合逻辑;一般安全性结果;混合时态逻辑;混合语言的扩充;可判定性、复杂性和内插性;证明方法简介等。 |
|
主题:
|
逻辑学 |
|
中图分类:
|
B81 版次： 5 |
|
主要著者:
|
刘新文 liu xin wen 著 |
|
主要著者:
|
祝瑞 zhu rui 著 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01587oam2 2200313 450 001| |0102002922 005| |20181104132123.1 010| |□a978-7-5161-9962-6□b精装□dCNY48.00 100| |□a20181104d2017 em y0chiy50 ea 101|0 |□achi□eeng 102| |□aCN□b110000 105| |□ay az 001yy 106| |□ar 200|1 |□a可能世界的名字□9ke neng shi jie de - | |ming zi□f刘新文,祝瑞著 210| |□a北京□c中国社会科学出版社□d2017 215| |□a162页□d24cm 225|0 |□a国家哲学社会科学成果文库□h2016 312| |□a封底英文题名:Nominals of possible worlds 314| |□a刘新文 (1972-),男,江西莲花人。研究方向:现代逻- | |辑。主持多项部级或国家级社会科学研究项目;出版《图式逻辑》《- | |谢弗函数研究》等学术专著。 314| |□a祝瑞 (1988-),男,陕西石泉人。研究方向:现代逻辑- | |。现为新西兰奥克兰大学哲学系逻辑学专业博士研究生。合作发表学- | |术论文两篇。 320| |□a有书目(第145-158页)和索引(第159-162页) 330| |□a本书共分十三章,主要内容包括:可能世界的名字;基本模态逻- | |辑与时态逻辑;基本混合逻辑;一般安全性结果;混合时态逻辑;混- | |合语言的扩充;可判定性、复杂性和内插性;证明方法简介等。 461| 0|□12001 □a国家哲学社会科学成果文库 510|1 |□aNominals of possible worlds□zeng 606|0 |□a逻辑学 690| |□aB81□v5 701| 0|□a刘新文□9liu xin wen□f(1972-)□4著 701| 0|□a祝瑞□9zhu rui□f(1988-)□4著 801| 0|□aCN□bQXLIB□c20181104