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