A resolution calculus for modal logics / von Hans Jürgen Ohlbach
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | 1988 |
| Year of Publication: | 1988 |
| Language: | English |
| Physical Description: | 115 S.; graph. Darst.; 21 cm |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|