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