PanLinx
čeština
ces-000
intenzionální logika
English
eng-000
intensional logic
PanLex