Русско-английский машиностроительный словарь

ЯЗЫК ИСЧИСЛЕНИЯ ПРЕДИКАТОВ

predicate calculus language