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