Proof Theory Of Modal Logic door H. Wansing