תורת ההוכחות – הבדלי גרסאות

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