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