Suggested Topics within your search.
Suggested Topics within your search.
partial predicate
6
логічний наслідок
6
logic
5
logical consequence
5
частковий предикат
5
UDC 004.42:510.69
4
УДК 004.42:510.69
4
логіка
4
секвенційне числення
4
логика
3
логическое следствие
3
частичный предикат
3
completeness
2
sequent calculus
2
soundness
2
коректність
2
повнота
2
секвенциальное исчисление
2
: логіка
1
UDC 004.42:510.64
1
UDC 510.64
1
composition algebra
1
equality
1
logical consequence sequent calculus
1
modal logic
1
semantics
1
sequent сalculus
1
УДК 004.42:510.64
1
УДК 510.64
1
композиционная алгебра
1
-
1
-
2
-
3
-
4
-
5
-
6