исчисление предикатов — перевод на английский
Варианты перевода словосочетания «исчисление предикатов»
исчисление предикатов — другие примеры
Серия MX основана на первой Исчисление предикатов
The MX series is based on first order predicate calculus.