ПИП Русско-английский перевод ПИП abbrev(прикладное исчисление предикатов), applied predicate calculus Lohwater A. J.. Русско-английский словарь математических наук. Russian-English dictionary of the mathematical sciences. 2012