Category:Proof theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
<nowiki>teoría de la demostración; teoria de la demostració; Beweistheorie; د ثبوت نظريه; 证明论; teoria demonstrației; 証明論; bevisteori; תורת ההוכחות; 語法地; 语法地; 증명 이론; pruvoteorio; teorie důkazu; teoria della dimostrazione; প্রমাণ তত্ত্ব; théorie de la démonstration; tõestusteooria; teoria da prova; 证明论; Tanıtlama teorisi; نظریه برهان; teorija dokaza; теорија доказа; todistusteoria; Bewysteorie; теорија доказа; teorija dokazov; теория доказательств; теорія доведення; သက်သေပြချက်သီအိုရီ; Beweistheorie; teoria dowodu; Ապացույցների տեսություն; bewijstheorie; تيوري بوقتي; teori bukti; 證明論; lý thuyết chứng minh; proof theory; نظرية البرهان; teòria de ła demostrasion; тэорыя доказаў; rama de la lógica matemática; গাণিতিক যুক্তির শাখা; branche de la logique mathématique; Deelgebitt vun der Mathematescher Logik; dział logiki matematycznej; ענף בלוגיקה מתמטית; раздел математической логики; 数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野; Teilgebiet der mathematischen Logik; သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု; branch of mathematical logic; fako de matematika logiko; ramură a logicii matematice; matemaatilise loogika valdkond; teorija dokaza; 証明理論; 証明 (数学); théorie de la preuve; Теорія доказів; نظریه اثبات; تئوری اثبات; نظریهٔ برهان; математическая теория доказательств; teoría de la prueba; teoria de la prueba; teoria de la demostracion; teoria de la demostración; teoría de la demostracion; نظريه البرهان; lí thuyết chứng minh; 증명이론; 증명론; pruvteorio; 验证理论; תורת ההוכחה</nowiki>
proof theory 
branch of mathematical logic
Upload media
Instance of
Subclass of
Authority file
Wikidata Q852732
Library of Congress authority ID: sh85107437, sh85107437
Bibliothèque nationale de France ID: 122670310
NDL Authority ID: 01190375
BNCF Thesaurus ID: 4936
NL CR AUT ID: ph126551
National Library of Israel J9U ID: 987007541259805171
Edit infobox data on Wikidata
English: In mathematics, Proof theory is the study of formalized arguments.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Media in category "Proof theory"

The following 3 files are in this category, out of 3 total.