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