Полный русско-английский словарь
Лог. functional calculus, predicate calculus, predicative calculus
Исчисление предикатов
исчисление предикатов
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ