УИП


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

abbrev

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

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