Englisch ⇄ Chinesisch Deutsch Dänisch Englisch Finnisch Französisch Griechisch Italienisch Niederländisch Portugiesisch Russisch Schwedisch Spanisch Ukrainisch +

first-order logic
comp.	числення предикатів першого порядку
IT	предикатів першого порядку; логіка першого порядку
Englisch Thesaurus
first-order logic
Math.	first-order predicate logic (ssn)