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