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