| 000 | 00736nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1996##################000#0#eng## | ||
| 020 | _a9780792341208 | ||
| 022 | _a96009019 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.3 HEI | ||
| 245 |
_aProof theory of modal logic _cedited by Heinrich Wansing |
||
| 260 |
_aDeventer ; Boston, MA _bKluwer _c1996 |
||
| 300 | _ax, 317 p. : ill. ; 25 cm | ||
| 500 | _aProceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993. Includes bibliographical references and index | ||
| 650 | _aModality (Logic) - Congresses | ||
| 650 | _aProof theory - Congresses | ||
| 700 | _aWansing, Heinrich | ||
| 990 | _a75bf6af4ac10000c5f2fab1499edbbda | ||
| 991 | _a97685 | ||
| 999 |
_c45900 _d45900 |
||