查詢結果分析
來源資料
第1筆 /總和 1 筆
/ 1 筆
頁籤選單縮合
題名 | 從新邏輯到新系統=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) |