תורת ההוכחות – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←הוכחות פורמליות: תיקון קישור לאקסיומה |
מ בוט מוסיף: ja:証明論, ru:Теория доказательств |
||
שורה 27:
[[fa:نظریه برهان]]
[[fr:Théorie de la démonstration]]
[[ja:証明論]]
[[ko:증명이론]]
[[pl:Teoria dowodu]]
[[ru:Теория доказательств]]
[[zh:证明论]]
| |||