PanLinx
čeština
ces-000
predikátová logika
English
eng-000
predicate calculus
PanLex
