Heinrich ,Wansing. (1996). Proof theory of modal logic. Kluwer Academic.
Cita Chicago (17th ed.)Heinrich ,Wansing. Proof Theory of Modal Logic. Dordrecht: Kluwer Academic, 1996.
Cita MLA (9th ed.)Heinrich ,Wansing. Proof Theory of Modal Logic. Kluwer Academic, 1996.
Atenció: Aquestes cites poden no estar 100% correctes.