Proof theory of modal logic /
Enregistré dans:
| Autres auteurs: | |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Dordrecht :
Kluwer Academic,
c1996
|
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 85399 | ||
| 003 | BD-SaJUCL | ||
| 005 | 20260520114820.0 | ||
| 008 | 260520b |||||||| |||| 00| 0 eng d | ||
| 020 | |a 0792341201 | ||
| 040 | |a BD-SaJUCL |c BD-SaJUCL |d BD-SaJUCL | ||
| 082 | |2 23 |a 511.3 | ||
| 245 | 1 | 0 | |a Proof theory of modal logic / |c edited by Heinrich Wansing |
| 260 | |a Dordrecht : |b Kluwer Academic, |c c1996 | ||
| 300 | |a x, 317p. ; |c 24cm. | ||
| 504 | |a Includes index. | ||
| 509 | |a Mehedi_Hasan_68_4_Document_6_514.jpg_processed_gemini.json | ||
| 650 | 0 | |a Model logic-congresses |9 62728 | |
| 650 | 0 | |a Proof theory-congresses |9 62729 | |
| 700 | |a Heinrich ,Wansing |9 62730 | ||
| 942 | |2 ddc |c BK |n 1 | ||
| 999 | |c 85399 |d 85393 | ||