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