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