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