DictionaryForumContacts

   English
Terms for subject Makarov containing predicate logic | all forms | exact matches only | in specified order only
EnglishRussian
predicate logic languageязык, основанный на логике предикатов (как функции нескольких переменных)