PanLinx
Esperanto
epo-000
simbola logiko
italiano
ita-000
logica simbolica
PanLex
