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