下载 android app/下载 iOS app 下载 android app/下载 iOS app
關閉 開啟 App
跳到主要內容
216.73.216.85

選擇館別

如何查找特定圖書館的館藏？

檢索預設為對全部圖書館的館藏進行檢索，但也可以設定只查找特定圖書館的館藏。
  1. 點擊按鈕
  2. 輸入關鍵字查找特定圖書館，或是透過類型和地區進行篩選，並勾選欲檢索的圖書館（最多能選 20 間）
  3. 勾選的圖書館會出現在「已選擇館別」，點擊最下方的執行篩選
  4. 執行篩選後會變為

註 1 ： 您的篩選條件將持續保留，直至手動清除或瀏覽器快取紀錄被刪除為止

註 2 ： 因版權因素，部分書籍僅限於已採購該書的分館平台檢索與閱讀，華藝總館不再提供檢索

搜尋說明
進階搜尋
首頁 人文 詳目頁
:::
書封 谓词抽象研究
0人評分過此書

谓词抽象研究

作者
：
魏燕侠 (著)
出版社
：
社会科学文献出版社
出版日期
：
2017
閱讀格式
：
EPUB
書籍分類
：
人文 ; 學術書
學科分類
：
哲學類
ISBN
：
9787520111737
朗讀功能
：
因版權限制，本書不支援朗讀功能
谓词抽象 模态逻辑 弗雷格 表列系统 罗素 葛梯尔问题

推薦本館採購書籍

您可以將喜歡的電子書推薦給圖書館，圖書館會參考讀者意見進行採購

讀者資料
圖書館 ：
* 姓名 ：
* 身分 ：
系所 ：
* E-mail ：
※ 我們會寄送一份副本至您填寫的Email中
電話 ：
※ 電話格式為 區碼+電話號碼(ex. 0229235151)/ 手機格式為 0900111111
* 請輸入驗證碼 ：
更新驗證碼
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
谓词抽象研究

評分與評論

幫助
您好，請問需要甚麼幫助呢?
使用指南
使用教學 常見問題
下載書紐教育版

客服專線：0800-000-747

服務時間：週一至週五 AM 09:00~PM 06:00

聯絡我們
loading