Lifestyle
Khazanah
Profil Baru
Dram Lists
Ensiklopedia
Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics
S1 Information Systems
S1 Information Technology
S1 Computer Engineering
S1 Electrical Engineering
S1 Civil Engineering
faculty of Economics and Business
S1 Management
S1 Accountancy
Faculty of Letters and Educational Sciences
S1 English literature
S1 English language education
S1 Mathematics education
S1 Sports Education
Registerasi
Brosur UTI
Kip Scholarship Information
Performance
Weltenzyklopädie
Category:证明论 - 维基百科,自由的百科全书
Search
Category:证明论 - 维基百科,自由的百科全书
帮助
维基百科,自由的百科全书
頁面分類
>
人文學科
>
哲学
>
邏輯
>
數理邏輯
> 证明论
维基共享资源
上的相关多媒体资源:
证明论
本
分类页面
的主条目是「
证明论
」。
证明论經常與
模型论
相對比。
子分类
本分类有以下4个子分类,共有4个子分类。
亚
亚结构逻辑
(3个页面)
推
推理规则
(16个页面)
证
证明方法
(6个页面)
证明论学家
(4个页面)
分类“证明论”中的页面
以下19个页面属于本分类,共19个页面。
证明论
B
BHK释义
C
柯里-霍华德同构
G
哥德尔不完备定理
哥德尔完备性定理
Q
切消定理
元
元語言
可
可实现性
完
完备性
希
希尔伯特演绎系统
希尔伯特计划
急
急成长阶层
獨
獨立性 (數理邏輯)
相
相继式
相继式演算
结
结构规则
缓
缓成长阶层
自
自然演绎
菲
菲弗曼-舒特序數
分类
:
數理邏輯
证明
元逻辑学
句法 (逻辑学)
理論
隐藏分类:
使用Catnav的页面
维基共享资源分类链接由维基数据提供
14 bahasa
indonesia
Polski
العربية
Deutsch
English
Español
Français
Italiano
مصرى
Nederlands
日本語
Português
Sinugboanong Binisaya
Svenska
Українська
Tiếng Việt
Winaray
中文
Русский
Sunting pranala