DictionaryForumContacts

   English Russian +
Google | Forvo | +

two-valued predicate calculus

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