PanLinx
suomi
fin-000
symbolinen loogikko
English
eng-000
symbolic logician
PanLex