Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
completeness
logic
2
logical consequence
2
partial predicate
2
sequent calculus
2
soundness
2
коректність
2
логіка
2
логічний наслідок
2
повнота
2
секвенційне числення
2
частковий предикат
2
06B05
1
UDC 004.42:510.69
1
UDC 510.64
1
equality
1
isotone map
1
pseudo ordered set
1
trellis
1
УДК 004.42:510.69
1
УДК 510.64
1
корректность
1
логика
1
логическое следствие
1
полнота
1
рівність
1
секвенциальное исчисление
1
частичный предикат
1
-
1
-
2
-
3