- Tytuł:
- Rule-Generation Theorem and its Applications
- Autorzy:
- Indrzejczak, Andrzej
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
sequent calculus
cut elimination
proof theory
extralogical rules - Dostawca treści:
- Biblioteka Nauki
Artykuł