作品介紹

臨界的傳遞邏輯


作者:杜珊珊     整理日期:2018-11-12 10:13:49

  圖書回顧了傳遞的瀕表格邏輯的研究發(fā)展歷史,敘述了傳遞的瀕表格邏輯判據(jù)的證明、應(yīng)用過程,試圖解決傳遞邏輯的瀕表格性的判據(jù)問題和大格的子格NExtQ4中瀕表格邏輯族的基數(shù)、分類及公理化問題。本書可供從事模態(tài)邏輯研究的工作者和對模態(tài)邏輯感興趣的讀者閱讀。





上一本:華英文義津逮 下一本:漢英北京官話詞匯

作家文集

下載說明
臨界的傳遞邏輯的作者是杜珊珊,全書語言優(yōu)美,行文流暢,內(nèi)容豐富生動引人入勝。為表示對作者的支持,建議在閱讀電子書的同時,購買紙質(zhì)書。

更多好書