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