Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- modal logic
- логічний наслідок 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