לוגיקה מסדר שני – הבדלי גרסאות

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