English ⇄ Chinese Danish Dutch English Finnish French German Greek Italian Portuguese Russian Spanish Swedish Ukrainian

first order logic stresses
comp.	логика первого порядка
first-order logic
comp.	исчисление предикатов первого порядка
el.	логика предикатов первого порядка
math.	логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn)
English thesaurus
first-order logic
math.	first-order predicate logic (ssn)

first order logic: 8 phrases in 4 subjects

Artificial intelligence	2
Logic	4
Mathematics	1
Programming	1