查詢結果分析
來源資料
頁籤選單縮合
| 題 名 | 從新邏輯到新系統=From the New Logic to the New System |
|---|---|
| 作 者 | 傅皓政; | 書刊名 | 揭諦 |
| 卷 期 | 22 2012.01[民101.01] |
| 頁 次 | 頁89-127 |
| 分類號 | 150 |
| 關鍵詞 | 可決定性; 自然演繹法; 樹枝法; 語意真值圖; 證明; Decidability; Natural deduction; Tableaux system; Semantic tableaux; Proof; |
| 語 文 | 中文(Chinese) |