Search Results - "free-quantifier logic"
Suggested Topics within your search.
Suggested Topics within your search.
- UDC 004.42:510.69 1
- equality 1
- free-quantifier logic 1
- logical consequence 1
- predicate 1
- renomination 1
- superposition 1
- Ключевые слова: бескванторная логика 1
- УДК 004.42:510.69 1
- безкванторна логіка 1
- логическое следствие 1
- логічний наслідок 1
- предикат 1
- равенство 1
- реноминация 1
- реномінація 1
- рівність 1
- суперпозиция 1
- суперпозиція 1
-
1