PanLinx
ελληνικά
ell-000
λογική πρώτου βαθμού
العربية
arb-000
منطق الرتبَة الأولى
English
eng-000
first-order logic
íslenska
isl-000
rökfræði fyrstu stéttar
español
spa-000
lógica de primer orden
PanLex