Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.42:510.69
1
equality
1
free-quantifier logic
1
logical consequence
1
predicate
1
renomination
1
superposition
1
Ключевые слова: бескванторная логика
1
УДК 004.42:510.69
1
безкванторна логіка
1
логическое следствие
1
логічний наслідок
1
предикат
1
равенство
1
реноминация
1
реномінація
рівність
1
суперпозиция
1
суперпозиція
1
-
1