proof theory (Q852732)
branch of mathematical logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | proof theory |
branch of mathematical logic |
Statements
10003792
0 references
Identifiers
Théorie de la démonstration
1 reference
Proof theory
1 reference
Proof Theory
1 reference
1 reference
1 reference
21 March 2022
Sitelinks
Wikipedia(27 entries)
- afwiki Bewysteorie
- arwiki نظرية البرهان
- bnwiki প্রমাণ তত্ত্ব
- cawiki Teoria de la demostració
- dewiki Beweistheorie
- enwiki Proof theory
- eowiki Pruvoteorio
- eswiki Teoría de la demostración
- fawiki نظریه برهان
- frwiki Théorie de la démonstration
- hewiki תורת ההוכחות
- hywiki Ապացույցների տեսություն
- itwiki Teoria della dimostrazione
- jawiki 証明論
- kowiki 증명 이론
- mywiki သက်သေပြချက်သီအိုရီ
- nlwiki Bewijstheorie
- plwiki Teoria dowodu
- pswiki د ثبوت نظريه
- ptwiki Teoria da prova
- ruwiki Теория доказательств
- svwiki Bevisteori
- trwiki Tanıtlama teorisi
- ukwiki Теорія доведення
- viwiki Lý thuyết chứng minh
- zh_classicalwiki 證明論
- zhwiki 证明论