Proof theory of modal logic / edited by Heinrich Wansing
Contributor(s): Wansing, H. (Heinrich)
.
Material type: ![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
National Library of India | E | E511.3 P945 (Browse shelf) | Available | NLI-PUR000530584ENG |
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993
Includes bibliographical references and index