- Refutations and proofs in S4
Opis
- Tytuł: Refutations and proofs in S4
- Tytuł publikacji grupowej: Applied logic series ; 2
- Tytuł pracy zbiorowej: Proof theory of modal logic : [proceedings volume of a Workshop on the Proof Theory of Modal Logik, held at the University of Hamburg on November 19-20, 1993]
- Twórca: Skura, Tomasz
- Strony: S. 45-51
- Data wydania: 1996
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział