PanLinx
hanácké
ces-002
axiomatizace
čeština
ces-000
axiomatizace
PanLex