- Tytuł:
- Monadic Fragments of Intuitionistic Control Logic
- Autorzy:
- Glenszczyk, Anna
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators - Dostawca treści:
- Biblioteka Nauki
Artykuł