Proof theory
[af] Bewysteorie
[ar] نظرية البرهان
[bn] প্রমাণ তত্ত্ব
[ca] Teoria de la demostració
[de] Beweistheorie
[eo] Pruvteorio
[es] Teoría de la demostración
[fa] نظریه برهان
[fr] Théorie de la démonstration
[he] תורת ההוכחות