First-order logic
[ar] منطق الرتبة الأولى
[ca] Lògica de primer ordre
[cs] Predikátová logika prvního řádu
[de] Prädikatenlogik erster Stufe
[el] Λογική πρώτου βαθμού
[eo] Predikatkalkulo
[es] Lógica de primer orden
[eu] Lehen mailako logika
[fa] منطق مرتبه اول
[fr] Calcul des prédicats