00748nam a22002411 4500 1/11707 971121s1996 enk 001 0 eng d 0792341201 12069 DLC GR-PeUP 511.3 PR Proof theory of modal logic/ edited by Heinrich Wansing. Dordrecht: Kluer Academic Publishers, 1996. x, 317p.; 22 cm. Applied logic series. Index. Bibliography. Modal logic. Proof theory. Wansing, Heinrich, ed. Applied logic series ; 2 INST UNIPILB MAIN 20040709 511.3 PR 00127132 00127132 LOAN 0 1 /webopac/covers/01/12069_0792341201.jpg