PanLinx
čeština
ces-000
nerozhodnutelnost
English
eng-000
undecidability
PanLex
