TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
出版社/品牌
搜尋結果 /

國家社科基金後期資助專案

1
1 / 1
臨界的傳遞邏輯:模態邏輯的瀕表格性問題探究(簡體書)
滿額折
出版日:2018/04/03 作者:杜珊珊; 康宏逵  出版社:科學出版社  裝訂:平裝
圖書回顧了傳遞的瀕表格邏輯的研究發展歷史,敘述了傳遞的瀕表格邏輯判據的證明、應用過程,試圖解決傳遞邏輯的瀕表格性的判據問題和大格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題。本書可供從事模態邏輯研究的工作者和對模態邏輯感興趣的讀者閱讀。
優惠價:87 407
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區