PanLinx
čeština
ces-000
predikátová logika prvního řádu
PanLex
