PanLinx
italiano
ita-000
logica aletica
Esperanto
epo-000
laĆvera logiko
PanLex