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