DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

two-valued predicate calculus

contraintes
logiq. двузначное исчисление предикатов; классическое исчисление предикатов
math. двузначное исчисление предикатов (классическое)