PanLinx
português
por-000
lógica multi-espécie
English
eng-000
many-sorted logic
PanLex
