Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
logic
13
логіка
логика
11
УДК 004.42:510.69
10
UDC 004.42:510.69
9
logical consequence
9
логічний наслідок
9
логическое следствие
7
predicate
5
предикат
5
algebra
4
semantics
4
sequent calculus
4
алгебра
4
секвенційне числення
4
семантика
4
частковий предикат
4
equality
3
partial predicate
3
секвенциальное исчисление
3
completeness
2
composition
2
non-deterministic predicate
2
soundness
2
композиция
2
коректність
2
недетерминированный предикат
2
недетермінований предикат
2
повнота
2
равенство
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13