TY  - BOOK
AU  - Heinrich Wansing
AU  - Wansing,Heinrich
TI  - PROOF THEORY OF MODAL LOGIC
SN  - 0792341201
U1  - 511.3 
PY  - 1996///
PB  - Kluwer Academic Publishers, Dordrecht
KW  - Modal Logic -- Congreses
KW  - Proof Theory -- Congresses
N1  - Proceedings Of A Workshop Held At The University Of Hanburg, Nov. 19-20, 1993
ER  -