Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing first-order predicate | all forms | exact matches only | in specified order only
SubjectEnglishRussian
comp.first order predicate calculusисчисление предикатов первого порядка

Get short URL