Russian ⇄ English Spanish

логика предикатов первого порядка stresses
el.	first-order logic
math.	first-order logic (= first-order predicate logic ssn); first-order predicate logic (ssn)

логика предикатов первого порядка: 1 phrase in 1 subject

Artificial intelligence

1