Heinrich ,Wansing. (1996). Proof theory of modal logic. Kluwer Academic.
Citazione stile Chigago Style (17a edizione)Heinrich ,Wansing. Proof Theory of Modal Logic. Dordrecht: Kluwer Academic, 1996.
Citatione MLA (9a ed.)Heinrich ,Wansing. Proof Theory of Modal Logic. Kluwer Academic, 1996.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.