Wansing, H. (1996). Proof theory of modal logic. Kluwer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Wansing, Heinrich. Proof Theory of Modal Logic. Dordrecht ; : Boston: Kluwer, 1996.
Παραπομπή σε μορφή MLA (9th εκδ.)Wansing, Heinrich. Proof Theory of Modal Logic. Kluwer, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.