Proof theory of modal logic / edited by Heinrich Wansing.
- Publication:
- Boston : Kluwer, 1996.
- Format/Description:
- Book
x, 317 p. : ill. ; 25 cm. - Series:
- Applied logic series ; v. 2
- Status/Location:
-
Loading...
Get It
Details
- Subjects:
- Modal logic -- Congresses.
Proof theory -- Congresses. - Notes:
- Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993.
Includes bibliographical references and index. - Contributor:
- Wansing, H. (Heinrich)
- ISBN:
- 0792341201
- OCLC:
- 34789840