Suggested Topics within your search.
Suggested Topics within your search.
modal logic
2
логічний наслідок
2
модальна логіка
2
секвенційне числення
2
UDC 510.64
1
UDC 004.42:510.69
1
logical consequence
1
logical consequence sequent calculus
1
partial predicate
1
predicate
1
sequent calculus
1
УДК 004.42:510.69
1
УДК 510.64
1
логическое следствие
1
модальная логика
1
предикат
1
секвенциальное исчисление
1
частичный предикат
1
частковий предикат
1
-
1
-
2