לדלג לתוכן

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

מ
בוט: מעביר קישורי בינויקי לויקינתונים - d:q1548746
מ (בוט החלפות: \1תת-)
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q1548746)
[[קטגוריה: לוגיקה מתמטית]]
 
[[en:Second-order logic]]
[[ca:Lògica de segon ordre]]
[[de:Prädikatenlogik zweiter Stufe]]
[[es:Lógica de segundo orden]]
[[fr:Logique d'ordre supérieur#Logique du second ordre]]
[[ja:二階述語論理]]
[[pt:Lógica de segunda ordem]]
[[ru:Логика второго порядка]]
[[sv:Andra ordningens logik]]
[[uk:Логіка другого порядку]]
[[zh:二階邏輯]]
81,380

עריכות