PanLinx
italiano
ita-000
logica verofunzionale
Esperanto
epo-000
laŭvera logiko
PanLex
