Terms for subject Artificial intelligence containing logic order

English	Russian
first-order logic semantics	семантика логики предикатов первого порядка (Alex_Odeychuk)
first-order logic with polymorphic types	логика первого порядка с полиморфными типами (Alex_Odeychuk)