On some semantic tableau proof procedures for modal logic
Düsseldorf: VDI-Verlag, 1984
Monographie, Gedruckte Ressource
- IV, 128 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
On some semantic tableau proof procedures for modal logic
|
---|---|
Autor/in / Beteiligte Person: | Wrightson, Graham |
Verwandtes Werk: | |
Veröffentlichung: | Düsseldorf: VDI-Verlag, 1984 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | IV, 128 S. |
ISBN: | 3181430102 |
Schlagwort: |
|
Sonstiges: |
|