ПИП


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

abbrev

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

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