该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
杜珊珊, 康宏逵, 著
出版社:科学出版社
年代:2017
定价:108.0
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
临界的传递逻辑是科学出版社于2017.7出版的中图分类号为 B815.1 的主题关于 模态逻辑-研究 的书籍。
姚从军, 著
金顺福, 张清宇, 张家龙, 著
裘江杰, 著
史璟, 著
张力锋, 著
周祯祥, 著
马明辉, 著
(荷) 范本特姆, 著