511.3 / P945W
Heinrich Wansing
PROOF THEORY OF MODAL LOGIC / .- Kluwer Academic Publishers, Dordrecht, c1996 .- x,317 .
Proceedings Of A Workshop Held At The University Of Hanburg, Nov. 19-20, 1993
ISBN: 0792341201
Subject Headings:
Modal Logic -- Congreses;
Proof Theory -- Congresses;
Author Added Entry:
Wansing,Heinrich;
Copy Details:
Acc. No.: A140520, Full Call No.: 511.3 P945W, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Heinrich Wansing
PROOF THEORY OF MODAL LOGIC / .- Kluwer Academic Publishers, Dordrecht, c1996 .- x,317 .
Proceedings Of A Workshop Held At The University Of Hanburg, Nov. 19-20, 1993
ISBN: 0792341201
Subject Headings:
Modal Logic -- Congreses;
Proof Theory -- Congresses;
Author Added Entry:
Wansing,Heinrich;
Copy Details:
Acc. No.: A140520, Full Call No.: 511.3 P945W, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------