Suggested Topics within your search.
Suggested Topics within your search.
предикат
predicate
9
logical consequence
8
логічний наслідок
8
UDC 004.42:510.69
7
УДК 004.42:510.69
7
logic
6
логика
6
логическое следствие
6
логіка
5
секвенційне числення
4
equality
3
semantics
3
sequent calculus
3
равенство
3
семантика
3
рівність
2
секвенциальное исчисление
2
: логіка
1
UDC 510.64
1
UDC 004.424
1
automated process control systems
1
composition
1
critical information infrastructure
1
critical systems
1
cybersecurity
1
definition
1
free-quantifier logic
1
list
1
meta-language
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10