Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.42:510.69
8
УДК 004.42:510.69
8
логическое следствие
логічний наслідок
8
logical consequence
7
logic
6
логика
6
логіка
6
predicate
5
предикат
5
equality
3
равенство
3
секвенциальное исчисление
3
секвенційне числення
3
частковий предикат
3
composition
2
partial predicate
2
semantics
2
sequent calculus
2
композиция
2
композиційна алгебра
2
рівність
2
семантика
2
частичный предикат
2
algebra
1
composition algebra
1
free-quantifier logic
1
logical consequence sequent calculus
1
modal logic
1
non-deterministic predicate
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8