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