PROOF THEORY OF MODAL LOGIC - Heinrich Wansing; Wansing,Heinrich (Kluwer Academic Publishers, Dordrecht, 1996)
Proceedings Of A Workshop Held At The University Of Hanburg, Nov. 19-20, 1993
Keywords: Modal Logic -- Congreses; Proof Theory -- Congresses