Поделиться

Большой англо-русский и русско-английский словарь

муж. Pip

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

abbrev(прикладное исчисление предикатов), applied predicate calculus