- Tytuł:
- Categorical Abstract Algebraic Logic: Referential π-Institutions
- Autorzy:
- Voutsadakis, George
- Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Referential Logics
Selfextensional Logics
Leibniz operator
Tarski operator
Suszko operator
π-institutions - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki