first-order logic.

listen to the pronunciation of first-order logic.
Английский Язык - Английский Язык

Определение first-order logic. в Английский Язык Английский Язык словарь

First-order logic.
predicate logic
first-order logic.
FOL
first-order logic
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse
first-order logic.
Избранное