תורת ההוכחות – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
איות |
אין תקציר עריכה |
||
שורה 16:
[[קטגוריה:לוגיקה מתמטית]]
{{קצרמר מתמטיקה}}
[[en:Proof_theory]]
|
איות |
אין תקציר עריכה |
||
שורה 16:
[[קטגוריה:לוגיקה מתמטית]]
{{קצרמר מתמטיקה}}
[[en:Proof_theory]]
|