Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
UDC 004.42:510.69
2
partial predicate
2
УДК 004.42:510.69
2
логическое следствие
2
логічний наслідок
2
секвенциальное исчисление
2
секвенційне числення
2
частичный предикат
частковий предикат
2
completeness
1
logic
1
logical consequence
1
logical consequence sequent calculus
1
modal logic
1
sequent calculus
1
soundness
1
коректність
1
корректность
1
логика
1
логіка
1
модальна логіка
1
модальная логика
1
повнота
1
полнота
1
-
1
-
2