幫手
Category
:
證明論
出自維基百科,自由嘅百科全書
跳去導覽
跳去搵嘢
想搵更多資料,可以睇下
證明論
。
細類
呢類淨係有下面嘅細類。
證
證明方法
(5 P)
「證明論」分類中嘅文章
呢類有下面嘅2版,總共有2版。
C
Curry-Howard對應
哥
哥德唔完備定理
屬於1類
:
數學邏輯
導覽選單
個人架生
未簽到
同呢個互聯網地址嘅匿名人傾偈
貢獻
開戶口
簽到
空間名
分類
討論
粵語
外觀
閱
改
睇返紀錄
多啲
導覽
頭版
目錄
正嘢
時人時事
是但一版
關於維基百科
聯絡處
捐畀維基百科
交流
說明書
城市論壇
社區大堂
最近修改
架撐
有乜連過嚟
連結頁嘅更改
上載檔案
專門版
固定連結
此版明細
維基數據項
打印/匯出
下載PDF
印得嘅版本
第啲維基項目
維基同享
第啲話
العربية
Bosanski
Dansk
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
日本語
한국어
Македонски
Norsk nynorsk
Русский
Srpskohrvatski / српскохрватски
Српски / srpski
Türkçe
Українська
اردو
中文
改拎