TY  - BOOK
AU  - Wansing, Heinrich
TI  - Proof theory of modal logic
SN  - 9780792341208
SN  - 96009019
U1  - 511.3 HEI 
PY  - 1996///
CY  - Deventer ; Boston, MA
PB  - Kluwer
KW  - Modality (Logic) - Congresses
KW  - Proof theory - Congresses
N1  - Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993. Includes bibliographical references and index
ER  -