DictionaryForumContacts

   English Russian +
Google | Forvo | +

predicate calculus with identity

stresses
math. исчисление предикатов с равенством
tech. исчисление предикатов единицей