ЧИП


Русско-английский перевод ЧИП

abbrev

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

Lohwater A. J.. Русско-английский словарь математических наук.      Russian-English dictionary of the mathematical sciences.