לוגיקה מסדר שני – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 29:
[[קטגוריה:לוגיקה מתמטית]]
== ראו גם ==
* [[אריתמטיקה מסדר שני]] {{אנ|second order arithmetic}}
* [[מתמטיקה הפוכה]] {{אנ|reverse mathematics}}
[[fr:Logique d'ordre supérieur#Logique du second ordre]]
|