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