Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- completeness
- logic 2
- logical consequence 2
- partial predicate 2
- sequent calculus 2
- soundness 2
- коректність 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