- Tytuł:
- Identity, equality, nameability and completeness. Part II
- Autorzy:
-
Manzano, María
Moreno, Manuel Crescencio - Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory - Dostawca treści:
- Biblioteka Nauki
Artykuł